The Axiom of Choice in Quine's New Foundations for Mathematical Logic
From MaRDI portal
Publication:5819559
DOI10.1073/pnas.39.9.972zbMath0051.03705OpenAlexW1976151458WikidataQ33713957 ScholiaQ33713957MaRDI QIDQ5819559
Publication date: 1953
Published in: Proceedings of the National Academy of Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1073/pnas.39.9.972
Related Items
Frege's double correlation thesis and Quine's set theories NF and ML, Inception of Quine's ontology, Universe of discourse and existence, Stratification and cut-elimination, Finite sets in Quine's new foundations, In Memoriam: Ernst Specker 1920–2011, On a set theory suggested by Dedecker and Ehresmann, II, The equivalence of NF-style set theories with “tangled” type theories; the construction of ω-models of predicative NF (and more), Choice principles in hyperuniverses, A fixed point theory over stratified truth, Formal development of ordinal number theory, Unification of universes in set theory, On the relative consistency of set theory, Symmetry as a criterion for comprehension motivating Quine's `New Foundations', Approximating Cartesian closed categories in NF-style set theories, Type-raising operations on cardinal and ordinal numbers in Quine's “New foundations”, Strong axioms of infinity in NFU, Sets equipollent to their power set in NF, Conceptual realism versus Quine on classes and higher-order logic, The Axiom for Connected Sets, 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, Extensional quotients for type theory and the consistency problem for NF, 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 consistency problem for NF, ALGEBRAIC NEW FOUNDATIONS, On the consistency of a slight (?) modification of Quine's 'New Foundations', A partial model for Quine's “New foundations”, A modern rigorous approach to stratification in NF/NFU, Automorphisms moving all non-algebraic points and an application to NF, The consistency of some 4-stratified subsystem of NF including NF3, On the consistency of an impredicative subsystem of Quine's NF, Systems of combinatory logic related to Quine's `New Foundations', ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS, Typical ambiguity and the axiom of choice
