Publication:3328538

zbMath0541.03032MaRDI QIDQ3328538

Marco Forti, Furio Honsell

Publication date: 1983

Full work available at URL: http://www.numdam.org/item?id=ASNSP_1983_4_10_3_493_0

zbMATH Keywords

Gödel-Bernays set theory; axiom of foundation; axioms of universality; free construction principle

Mathematics Subject Classification ID

03E35: Consistency and independence results

03E65: Other set-theoretic hypotheses and axioms

Related Items

Antifoundation and transitive closure in the system of Zermelo, Studying equivalences of transition systems with algebraic tools, Non-well-founded trees in categories, A characterization of internal sets, Relative consistency of the general axiom of superuniversality for sets, \(n\)-tuples and operations, Set-theoretical and other elementary models of the \(\lambda\)-calculus, A general construction of hyperuniverses, An efficient algorithm for computing bisimulation equivalence, Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics, Choice principles in hyperuniverses, Conway Games, Coalgebraically, Equivalences and Congruences on Infinite Conway Games, Forcing with the Anti-Foundation axiom, THE ITERATIVE CONCEPTION OF SET

Cites Work

• COMPARISON OF THE AXIOMS OF LOCAL AND GLOBAL UNIVERSALITY
• Modelle Der Mengenlehre, in Denen Mengen Gegebener Gestalt Existieren
• A hierarchy of formulas in set theory
• Consistency of the Continuum Hypothesis. (AM-3)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item