Axiomatization and Forcing in Set Theory with Urelements

In the first part of this paper, we consider several natural axioms in urelement set theory, including the Collection Principle, the Reflection Principle, the Dependent Choice scheme and its generalizations, as well as other axioms specifically concerning urelements. We prove that these axioms form...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-08
1. Verfasser:	Yao, Bokai
Format:	Artikel
Sprache:	eng
Schlagworte:	Axioms Collection Mathematics - Logic Principles Set theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!