scientific article; zbMATH DE number 559185

MaRDI QIDQ4289237zbMATH OpenFDO

Authors M. Randall Holmes

Publication date 24 January 1995

zbMATH Keywords

surveyNew FoundationsNF with urelements

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Combinatory logic and lambda calculus (03B40) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Development of contemporary mathematics (01A65)

Recommendations

• scientific article; zbMATH DE number 3887677
• Publication:5752565
• Quine, New Foundations, and the Philosophy of Set Theory
• scientific article; zbMATH DE number 1450821

Cited in

(12)

• Broadening the iterative conception of set
• Approximating Cartesian closed categories in NF-style set theories
• scientific article; zbMATH DE number 3887677 (Why is no real title available?)
• Beneš's partial model of NF: an old result revisited
• scientific article; zbMATH DE number 1450821 (Why is no real title available?)
• scientific article; zbMATH DE number 597891 (Why is no real title available?)
• Monotone inductive definitions and consistency of New Foundations
• Towards proof-theoretic formulation of the general theory of term-forming operators
• scientific article; zbMATH DE number 4187797 (Why is no real title available?)
• Ambiguities for NF
• Symmetry as a criterion for comprehension motivating Quine's `New Foundations'
• NF at (nearly) 75

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4289237)