On the consistency of a slight (?) modification of Quine's 'New Foundations'

DOI10.1007/BF00568059zbMath0202.01001OpenAlexW4241164520WikidataQ55952483 ScholiaQ55952483MaRDI QIDQ2541215

R. B. Jensen

Publication date: 1968

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00568059

Related Items

Frege's double correlation thesis and Quine's set theories NF and ML, Stratification and cut-elimination, Finite sets in Quine's new foundations, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, Choice principles in hyperuniverses, In the Search of a Naive Type Theory, Is Logic Relevant to Classifications?, Strong Ambiguity, A partial model of NF with E, On the strength of a weak variant of the axiom of counting, Foundations of applied mathematics. I, Symmetry as a criterion for comprehension motivating Quine's `New Foundations', Approximating Cartesian closed categories in NF-style set theories, The axiom scheme of acyclic comprehension, One hundred and two problems in mathematical logic, Sets and plural comprehension, Sets equipollent to their power set in NF, The seven virtues of simple type theory, Largest initial segments pointwise fixed by automorphisms of models of set theory, The usual model construction for NFU preserves information, The status of the axiom of choice in set theory with a universal set, Automorphisms of models of set theory and extensions of NFU, Systems of combinatory logic related to predicative and ``mildly impredicative fragments of Quine's ``New Foundations, The 3-stratifiable theorems of \(\text{NFU}_\infty\), Subsystems of Quine's ``New Foundations with predicativity restrictions, The strength of Mac Lane set theory, Why Sets?, Feferman’s Forays into the Foundations of Category Theory, Why is the universe of sets not a set?, ALGEBRAIC NEW FOUNDATIONS, Surrealist landscape with figures (a survey of recent results in set theory), Systems of combinatory logic related to Quine's `New Foundations'

Cites Work

• Some applications of formalized consistency proofs
• A partition calculus in set theory
• Models of axiomatic theories admitting automorphisms
• The Axiom of Choice in Quine's New Foundations for Mathematical Logic
• A set of axioms for logic