A system of axiomatic set theory—Part II

DOI10.2307/2267281MaRDI QIDQ5781082zbMATHOpenAlexWikidataFDO

Authors Paul Bernays

Publication date 1941

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

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

zbMATH Keywords

Set theory

Mathematics Subject Classification ID

Set theory (03Exx)

Cites work

• A Theory of Positive Integers in Formal Logic. Part II

Cited in

(11)

• An introduction to univalent foundations for mathematicians
• An axiomatization of `very' within systems of set theory
• The Empty Set, The Singleton, and the Ordered Pair
• On the Axiom of Canonicity
• The categoricity question of certain grand logics
• Bernays and Set Theory
• The algebra of functions. III
• Zermelo: Boundary numbers and domains of sets continued
• Truth Definitions and Consistency Proofs
• scientific article; zbMATH DE number 5037234 (Why is no real title available?)
• Developing arithmetic in set theory without infinity: some historical remarks

This page was built for publication: A system of axiomatic set theory—Part II

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