Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2402.15788 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910917471502336 |
|---|---|
| author | Holy, Peter Lücke, Philipp Müller, Sandra |
| author_facet | Holy, Peter Lücke, Philipp Müller, Sandra |
| contents | We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We refer to this type of compactness property as outward compactness, and we show that instances of this type of principle for second-order logic can be used to characterize various large cardinal notions between measurability and extendibility, directly generalizing a classical result of Magidor that characterizes extendible cardinals as the strong compactness cardinals of second-order logic. In addition, we generalize a result of Makowsky that shows that Vopěnka's Principle is equivalent to the existence of compactness cardinals for all abstract logics by characterizing the principle "Ord is Woodin" through outward compactness properties of abstract logics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_15788 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Outward compactness Holy, Peter Lücke, Philipp Müller, Sandra Logic We introduce and study a new type of compactness principle for strong logics that, roughly speaking, infers the consistency of a theory from the consistency of its small fragments in certain outer models of the set-theoretic universe. We refer to this type of compactness property as outward compactness, and we show that instances of this type of principle for second-order logic can be used to characterize various large cardinal notions between measurability and extendibility, directly generalizing a classical result of Magidor that characterizes extendible cardinals as the strong compactness cardinals of second-order logic. In addition, we generalize a result of Makowsky that shows that Vopěnka's Principle is equivalent to the existence of compactness cardinals for all abstract logics by characterizing the principle "Ord is Woodin" through outward compactness properties of abstract logics. |
| title | Outward compactness |
| topic | Logic |
| url | https://arxiv.org/abs/2402.15788 |