scientific article; zbMATH DE number 803071

MaRDI QIDQ4850035zbMATH OpenFDO

Authors T. E. Forster

Publication date 8 October 1995

zbMATH Keywords

Church universal set theoryChurch-Oswald modelsessayNFReiger-Bernays permutation modelsset theory with a universal setwell-founded sets

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70)

Cited in

(23)

• A semantic characterization of the well-typed formulae of \(\lambda\)- calculus
• On modal -calculus and non-well-founded set theory
• A modern rigorous approach to stratification in NF/NFU
• Modal expansionism
• Increasing sentences in simple type theory
• Hierarchical propositions
• Strong axioms of infinity in NFU
• scientific article; zbMATH DE number 3851078 (Why is no real title available?)
• scientific article; zbMATH DE number 53037 (Why is no real title available?)
• scientific article; zbMATH DE number 1984509 (Why is no real title available?)
• CAN MODALITIES SAVE NAIVE SET THEORY?
• On the strength of a weak variant of the axiom of counting
• Decreasing sentences in simple type theory
• ALGEBRAIC NEW FOUNDATIONS
• Nonsets
• Permutations and wellfoundedness: the true meaning of the bizarre arithmetic of Quine's NF
• The 3-stratifiable theorems of \(\text{NFU}_\infty\)
• A fixed point theory over stratified truth
• Strong Ambiguity
• Cantorian models of predicative NF
• Synonymy questions concerning the Quine systems
• The usual model construction for NFU preserves information
• The graph conception of set

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 Q4850035)