A Framework for Formalizing Set Theories Based on the Use of Static Set Terms

DOI10.1007/978-3-540-78127-1_6zbMath1133.03342OpenAlexW2158593143MaRDI QIDQ5452175

Arnon Avron

Publication date: 25 March 2008

Published in: Pillars of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78127-1_6

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Axiomatics of classical set theory and its fragments (03E30)

Related Items

Analysis in a formal predicative set theory ⋮ Applicable Mathematics in a Minimal Computational Theory of Sets ⋮ Unnamed Item ⋮ The middle ground-ancestral logic ⋮ A Logical Framework for Developing and Mechanizing Set Theories ⋮ Formalizing Scientifically Applicable Mathematics in a Definitional Framework ⋮ Introduction: Non-classical Logics—Between Semantics and Proof Theory (In Relation to Arnon Avron’s Work)

Cites Work

• Zur Axiomatik der Mengenlehre
• Set theory. An introduction to independence proofs
• Foundations of set theory. With the collaboration of Dirk van Dalen. 2nd revised ed
• Mathematical Knowledge Management
• The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
• Ackermann's set theory equals ZF
• The fine structure of the constructible hierarchy
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item