scientific article; zbMATH DE number 57756

MaRDI QIDQ4004707zbMATH OpenFDO

Authors M. Randall Holmes

Publication date 27 September 1992

zbMATH Keywords

axiom of anti-foundationAxiom of EndomorphismNew Foundations with ur-elementsNFNFUstratified version of AFA

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

Recommendations

• scientific article; zbMATH DE number 1450821
• Monotone inductive definitions and consistency of New Foundations
• Quine's NF--60 Years On
• ALGEBRAIC NEW FOUNDATIONS
• L'axiome de l'infini dans NFU

Cited in

(7)

• Anti-foundation and self-reference
• The axiom scheme of acyclic comprehension
• Embedding Properties and Anti-Foundation in Set Theory
• Inconsistency of GPK + AFA
• L'axiome de l'infini dans NFU
• On the strength of a weak variant of the axiom of counting
• The usual model construction for NFU preserves information

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