Please use this identifier to cite or link to this item:
http://dx.doi.org/10.25673/105744| Title: | Reduced set theory |
| Author(s): | Kunik, Matthias |
| Issue Date: | 2023-06-22 |
| Extent: | 1 Online-Ressource (31 Seiten) |
| Type: | Preprint |
| Type: | Working paper |
| Language: | English |
| Publisher: | Universität, Magdeburg |
| Series/Report no.: | Preprint. Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik |
| URN: | urn:nbn:de:gbv:ma9:1-1981185920-1076995 |
| Subjects: | Formal mathematical systems Axiomatic set theory |
| Abstract: | 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. |
| URI: | https://opendata.uni-halle.de//handle/1981185920/107699 http://dx.doi.org/10.25673/105744 |
| Open Access: |  Open access publication |
| License: |  (CC BY-SA 4.0) Creative Commons Attribution ShareAlike 4.0 |
| Appears in Collections: | Fakultät für Mathematik (OA) |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Kunik_Preprint_22.06.2023.pdf | Preprint | 211.92 kB | Adobe PDF |  View/Open |