Pages that link to "Item:Q2541215"

The following pages link to On the consistency of a slight (?) modification of Quine's 'New Foundations' (Q2541215):

Displayed 32 items.

• Sets and plural comprehension (Q484118) ‎ (← links)
• Largest initial segments pointwise fixed by automorphisms of models of set theory (Q684228) ‎ (← links)
• The usual model construction for NFU preserves information (Q691132) ‎ (← links)
• Surrealist landscape with figures (a survey of recent results in set theory) (Q754865) ‎ (← links)
• Systems of combinatory logic related to Quine's `New Foundations' (Q809994) ‎ (← links)
• The seven virtues of simple type theory (Q946569) ‎ (← links)
• Frege's double correlation thesis and Quine's set theories NF and ML (Q1076005) ‎ (← links)
• Systems of combinatory logic related to predicative and ``mildly impredicative'' fragments of Quine's ``New Foundations'' (Q1208084) ‎ (← links)
• Approximating Cartesian closed categories in NF-style set theories (Q1702983) ‎ (← links)
• Choice principles in hyperuniverses (Q1919525) ‎ (← links)
• Why is the universe of sets not a set? (Q2054117) ‎ (← links)
• Automorphisms of models of set theory and extensions of NFU (Q2255737) ‎ (← links)
• Symmetry as a criterion for comprehension motivating Quine's `New Foundations' (Q2426734) ‎ (← links)
• The axiom scheme of acyclic comprehension (Q2443116) ‎ (← links)
• The status of the axiom of choice in set theory with a universal set (Q3029003) ‎ (← links)
• European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) ‎ (← links)
• In the Search of a Naive Type Theory (Q3499754) ‎ (← links)
• Stratification and cut-elimination (Q3981455) ‎ (← links)
• One hundred and two problems in mathematical logic (Q4079563) ‎ (← links)
• Sets equipollent to their power set in NF (Q4091928) ‎ (← links)
• A partial model of <b>NF</b> with E (Q4323039) ‎ (← links)
• On the strength of a weak variant of the axiom of counting (Q5108092) ‎ (← links)
• Feferman’s Forays into the Foundations of Category Theory (Q5214790) ‎ (← links)
• ALGEBRAIC NEW FOUNDATIONS (Q5222536) ‎ (← links)
• Why Sets? (Q5452179) ‎ (← links)
• Finite sets in Quine's new foundations (Q5585400) ‎ (← links)
• The 3-stratifiable theorems of \(\text{NFU}_\infty\) (Q5937850) ‎ (← links)
• Subsystems of Quine's ``New Foundations'' with predicativity restrictions (Q5937851) ‎ (← links)
• The strength of Mac Lane set theory (Q5946048) ‎ (← links)
• Is Logic Relevant to Classifications? (Q6051681) ‎ (← links)
• Strong Ambiguity (Q6094138) ‎ (← links)
• Foundations of applied mathematics. I (Q6142492) ‎ (← links)