Mathematical Knowledge Management

DOI10.1007/B100478MaRDI QIDQ5313076zbMATH OpenOpenAlexFDO

Authors Arnon Avron

Publication date 26 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100478

Mathematics Subject Classification ID

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

Recommendations

• A logical framework for developing and mechanizing set theories
• scientific article; zbMATH DE number 2003164
• Adding an abstraction barrier to ZF set theory
• Mechanizing set theory. Cardinal arithmetic and the axiom of choice
• STMM: A set theory for mechanized mathematics

Cited in

(21)

• Logic, sets, and mathematics
• A single axiom for set theory
• On the formalization of theories
• The middle ground-ancestral logic
• Adding an abstraction barrier to ZF set theory
• Constructibility and decidability versus domain independence and absoluteness
• A logical framework for developing and mechanizing set theories
• Implementation of Bourbaki's \textit{Elements of mathematics} in Coq. I: Theory of sets
• A Finite First-Order Theory of Classes
• scientific article; zbMATH DE number 1507190 (Why is no real title available?)
• Isabelle formalization of set theoretic structures and set comprehensions
• The Relative Consistency of the Axiom of Choice Mechanized Using Isabelle⁄zf
• Relational set theory
• Formalizing Scientifically Applicable Mathematics in a Definitional Framework
• Formal Representation of Mathematics in a Dependently Typed Set Theory
• A Framework for Formalizing Set Theories Based on the Use of Static Set Terms
• A mechanized translation from higher-order logic to set theory
• STMM: A set theory for mechanized mathematics
• Mechanizing set theory. Cardinal arithmetic and the axiom of choice
• Developing continuity theory in a formal predicative set theory
• MPTP 0.2: Design, implementation, and initial experiments

This page was built for publication: Mathematical Knowledge Management

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