scientific article; zbMATH DE number 559185

zbMATH Open0804.03040MaRDI QIDQ4289237FDOQ4289237

Authors: M. Randall Holmes 

Publication date: 24 January 1995

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (12)

• Broadening the iterative conception of set
• Title not available (Why is that?)
• Approximating Cartesian closed categories in NF-style set theories
• Beneš's partial model of NF: an old result revisited
• Title not available (Why is that?)
• Title not available (Why is that?)
• Towards proof-theoretic formulation of the general theory of term-forming operators
• Monotone inductive definitions and consistency of New Foundations
• Title not available (Why is that?)
• Ambiguities for NF
• NF at (nearly) 75
• Symmetry as a criterion for comprehension motivating Quine's `New Foundations'

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)