Extending the extensional level of the Minimalist Foundation to axiomatic set theories

2021/02/25 by Samuele Maschio, Maschio, Samuele, Pietro Sabelli +1
Computer Science · #03B38 #03E30 #03F50 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems

paper · pdf · doi:10.48550/arxiv.2102.12888

openalex publication_date 2021/02/25 · openalex created_date 2021/03/01 · openalex updated_date 2026/07/28

Abstract

We introduce extensions by rules of the extensional level of the Minimalist Foundation which turn out to be equivalent to constructive and classical axiomatic set theories.

Related

• A construction of set theory
• Logics and Admissible Rules of Constructive Set Theories
• A Brief History of Future Set Theory
• An approach to basic set theory and logic
• Reduced Set Theory