Models of Set Theory: Extensions and Dead-ends
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910103620288512 |
|---|---|
| author | Enayat, Ali |
| author_facet | Enayat, Ali |
| contents | This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types of extensions, and also establish the existence of models of ZF that cannot be properly end extended to a model of ZF. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_14790 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Models of Set Theory: Extensions and Dead-ends Enayat, Ali Logic 03C62 This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types of extensions, and also establish the existence of models of ZF that cannot be properly end extended to a model of ZF. |
| title | Models of Set Theory: Extensions and Dead-ends |
| topic | Logic 03C62 |
| url | https://arxiv.org/abs/2406.14790 |