A Road To Compactness Through Guessing Models
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2022
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866914925907017728 |
|---|---|
| author | Mohammadpour, Rahman |
| author_facet | Mohammadpour, Rahman |
| contents | The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that structure. With this phenomenon and its twin sibling "reflection", modern set theory has settled many mathematical statements left undecided by the conventionally accepted formalism of mathematics, $\rm ZFC$. A broad research program investigates whether a notion of compactness can universe-widely emerge without running into contradictions.
These notes are a survey about guessing models whose existence provides intriguing compactness phenomena. Most of the results in the manuscript are well-known. We shall reformulate, generalise and expand some of them. We also present some known applications of guessing models and state some open problems. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2210_02514 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | A Road To Compactness Through Guessing Models Mohammadpour, Rahman Logic 03E05, 03E35, 03E57, 03E65 The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that structure. With this phenomenon and its twin sibling "reflection", modern set theory has settled many mathematical statements left undecided by the conventionally accepted formalism of mathematics, $\rm ZFC$. A broad research program investigates whether a notion of compactness can universe-widely emerge without running into contradictions. These notes are a survey about guessing models whose existence provides intriguing compactness phenomena. Most of the results in the manuscript are well-known. We shall reformulate, generalise and expand some of them. We also present some known applications of guessing models and state some open problems. |
| title | A Road To Compactness Through Guessing Models |
| topic | Logic 03E05, 03E35, 03E57, 03E65 |
| url | https://arxiv.org/abs/2210.02514 |