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

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

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.

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Maschio, Samuele, Sabelli, Pietro
Format: Artikel
Sprache:eng
Schlagworte:
Mathematics - Logic
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
DOI:10.48550/arxiv.2102.12888