scientific article; zbMATH DE number 19149

MaRDI QIDQ3976577zbMATH OpenFDO

Authors Maurice Boffa

Publication date 26 June 1992

zbMATH Keywords

non-well-founded approximations to well-founded sets

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70)

Review text

[For the entire collection see Zbl 0734.00012.] The approximations considered were introduced by R. J. Malitz. They concern non-well-founded approximations to well-founded sets, which were used, e.g., by M. Forti and R. Hinnion in giving a consistency proof of the comprehension scheme for positive formulas. They are given here in axiomatic form, and compared with work of P. Aczel.

Recommendations

• Approximable sets
• A general set theoretic approximation framework
• Approximating sets with equivalence relations
• scientific article; zbMATH DE number 1310544
• scientific article; zbMATH DE number 4014719
• A theory of sets and classes
• scientific article; zbMATH DE number 3972858
• scientific article; zbMATH DE number 7673596

Cited in

(3)

• The consistency problem for positive comprehension principles
• A.P. Morse’s Set Theory and Analysis
• Approximations of theories

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