A system of axiomatic set theory - Part VII

DOI10.2307/2268864MaRDI QIDQ5825811zbMATH OpenOpenAlexWikidataFDO

Authors Paul Bernays

Publication date 1954

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2268864

zbMATH Keywords

set theory

Cites work

• Die Widerspruchsfreiheit der allgemeinen Mengenlehre
• Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe

Cited in

(12)

• On modal -calculus and non-well-founded set theory
• Ontology, set theory, and the paraphrase challenge
• Symmetry as a criterion for comprehension motivating Quine's `New Foundations'
• The axiom of fundierung and the axiom of choice
• Bernays and Set Theory
• Developing arithmetic in set theory without infinity: some historical remarks
• The Mathematical Import of Zermelo's Well-Ordering Theorem
• The Empty Set, The Singleton, and the Ordered Pair
• Models of Second-Order Zermelo Set Theory
• INCOMPLETENESS VIA PARADOX AND COMPLETENESS
• Terminal coalgebras and non-wellfounded sets in homotopy type theory
• Mathematical foundations of consciousness

This page was built for publication: A system of axiomatic set theory - Part VII

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5825811)