Relative consistency of Set Matrix Theory with ZF
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915062273277952 |
|---|---|
| author | Cabbolet, Marcoen J. T. F. |
| author_facet | Cabbolet, Marcoen J. T. F. |
| contents | Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of sets. Here we prove that SMT is relatively consistent with ZF. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_09458 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Relative consistency of Set Matrix Theory with ZF Cabbolet, Marcoen J. T. F. Logic Logic in Computer Science 03F25 (primary), 03E65 (secondary) Set Matrix Theory (SMT) has been introduced in Log. Anal. 225: 59-82 (2014) as a generalization of ZF, in which matrices constructed from sets are treated as urelements, that is, as objects that are not sets but that can be elements of sets. Here we prove that SMT is relatively consistent with ZF. |
| title | Relative consistency of Set Matrix Theory with ZF |
| topic | Logic Logic in Computer Science 03F25 (primary), 03E65 (secondary) |
| url | https://arxiv.org/abs/2402.09458 |