⌘+K

Pulse Explore Communities Researchers Journals

Home Communities Explore

October 1, 1983Notre Dame Journal of Formal LogicOpen Access

The simple consistency of a set theory based on the logic CSQ.

View Full Paper

Ask AI

Bookmark

Share

Abstract

The logic CTQ and the set theory CST I show that the following system CTQ is a subsystem of CSQ, in order to establish a system of axioms and rules, for which the ensuing consistency proof works.

Discussion

No takes yet. Share an insight, caveat, or question.

Cite This Study

Ross T. Brady (1983) studied this question.

synapsesocial.com/papers/6a13b8201803a4249439bf79 https://doi.org/10.1305/ndjfl/1093870447

View Full Paper

Ask AI

Bookmark

Share

Keep reading

Synapse has enriched 5 related papers. Consider them for comparative context:

1A Nonsplitting Theorem in the Low2 Turing DegreesNotre Dame Journal of Formal Logic · Fri,
2Stratified Formulas Are Not Context-FreeNotre Dame Journal of Formal Logic · Fri,
3Lindström’s Characterizability of Abstract Logic Systems for Analytic Structures Based on MeasuresNotre Dame Journal of Formal Logic · Thu,
4Iterating Both and Neither: With Applications to the ParadoxesNotre Dame Journal of Formal Logic · Fri,
5Broad Infinity and Generation PrinciplesNotre Dame Journal of Formal Logic · Wed,

More from Notre Dame Journal of Formal Logic

State-Based Modal Logics for Free ChoiceFri,
A Walk with Goodstein and AckermannWed,
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational ProjectWed,
Topologizing Interpretable Groups in p-Adically Closed FieldsWed,
Hierarchical Multiverse of SetsWed,