Internal Categoricity and the Generic Multiverse
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866908509366386688 |
|---|---|
| author | Meadows, Toby |
| author_facet | Meadows, Toby |
| contents | John Steel's theory, MV, of the generic multiverse provides a foundation for mathematics that aims to neutralize the effects of incompleteness brought on by forcing arguments. Jouko Väänänen's development of internal categoricity arguments provides opportunities to argue that the subject matter of some theory is, in some sense, determined. This paper investigates whether MV is internally categorical. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_21202 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Internal Categoricity and the Generic Multiverse Meadows, Toby Logic John Steel's theory, MV, of the generic multiverse provides a foundation for mathematics that aims to neutralize the effects of incompleteness brought on by forcing arguments. Jouko Väänänen's development of internal categoricity arguments provides opportunities to argue that the subject matter of some theory is, in some sense, determined. This paper investigates whether MV is internally categorical. |
| title | Internal Categoricity and the Generic Multiverse |
| topic | Logic |
| url | https://arxiv.org/abs/2508.21202 |