Pages that link to "Item:Q2541215"

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

Displaying 31 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)
• Strong Ambiguity (Q6094138) (← links)
• Foundations of applied mathematics. I (Q6142492) (← links)