Reduced Set Theory
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2023
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915816813887488 |
|---|---|
| author | Kunik, Matthias |
| author_facet | Kunik, Matthias |
| contents | We present a new fragment of axiomatic set theory for pure sets and for the iteration of power sets within given transitive sets. It turns out that this formal system admits an interesting hierarchy of models with true membership relation and with only finite or countably infinite ordinals. Still a considerable part of mathematics can be formalized within this system. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_18551 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Reduced Set Theory Kunik, Matthias Logic 03F03, 03E30 We present a new fragment of axiomatic set theory for pure sets and for the iteration of power sets within given transitive sets. It turns out that this formal system admits an interesting hierarchy of models with true membership relation and with only finite or countably infinite ordinals. Still a considerable part of mathematics can be formalized within this system. |
| title | Reduced Set Theory |
| topic | Logic 03F03, 03E30 |
| url | https://arxiv.org/abs/2311.18551 |