Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.25673/105744Langanzeige der Metadaten
| DC Element | Wert | Sprache |
|---|---|---|
| dc.contributor.author | Kunik, Matthias | - |
| dc.date.accessioned | 2023-06-23T05:45:05Z | - |
| dc.date.available | 2023-06-23T05:45:05Z | - |
| dc.date.issued | 2023-06-22 | - |
| dc.identifier.uri | https://opendata.uni-halle.de//handle/1981185920/107699 | - |
| dc.identifier.uri | http://dx.doi.org/10.25673/105744 | - |
| dc.description.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. | eng |
| dc.format.extent | 1 Online-Ressource (31 Seiten) | - |
| dc.language.iso | eng | - |
| dc.publisher | Universität, Magdeburg | - |
| dc.relation.ispartofseries | Preprint. Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik | - |
| dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | - |
| dc.subject | Formal mathematical systems | eng |
| dc.subject | Axiomatic set theory | eng |
| dc.subject.ddc | 511 | - |
| dc.title | Reduced set theory | eng |
| dcterms.type | Preprint | - |
| dc.type | Working Paper | - |
| dc.identifier.urn | urn:nbn:de:gbv:ma9:1-1981185920-1076995 | - |
| local.versionType | submittedVersion | - |
| local.openaccess | true | - |
| dc.identifier.ppn | 1696813891 | - |
| local.publication.country | XA-DE-ST | - |
| cbs.sru.importDate | 2023-06-23T05:34:08Z | - |
| local.accessrights.dnb | free | - |
| Enthalten in den Sammlungen: | Fakultät für Mathematik (OA) | |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| Kunik_Preprint_22.06.2023.pdf | Preprint | 211.92 kB | Adobe PDF |  Öffnen/Anzeigen |