scientific article; zbMATH DE number 1254495

MaRDI QIDQ4227563zbMATH OpenFDO

Authors W. W. Tait

Publication date 6 July 1999

zbMATH Keywords

axiomatic set theoryErnst ZermeloJFM 56.0082.02Kurt Gödelreflection principles

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Principles of partial reflection in the set theories of Zermelo and Ackermann
• Zermelo and Set Theory
• scientific article; zbMATH DE number 5778053
• scientific article; zbMATH DE number 60836
• On Zermelo's and Von Neumann's Axioms for Set Theory
• A contribution to relations between Gödelian and Zermelian set theories
• scientific article; zbMATH DE number 4002086
• An axiom schema of comprehension of zermelo–fraenkel–skolem set theory
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience

Cited in

(19)

• Zermelo in the mirror of the Baer correspondence, 1930--1931.
• A theory of infinitary relations extending Zermelo's theory of infinitary propositions
• scientific article; zbMATH DE number 5870376 (Why is no real title available?)
• Forcing, Multiverse and Realism
• Zermelo: Boundary numbers and domains of sets continued
• On adopting Kripke semantics in set theory
• Frege meets Zermelo: a perspective on ineffability and reflection
• scientific article; zbMATH DE number 5778053 (Why is no real title available?)
• Bernays and Set Theory
• Zermelo's Analysis of ‘General Proposition’
• Zermelo's Cantorian Theory of Systems of Infinitely Long Propositions
• Zermelo: definiteness and the universe of definable sets
• A strong reflection principle
• THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES
• MODAL STRUCTURALISM AND REFLECTION
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• On reflection principles
• Maximality principles in the hyperuniverse programme

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