Cofinality quantifiers in Abstract Elementary Classes and beyond
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2022
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908318791892992 |
|---|---|
| author | Boney, Will |
| author_facet | Boney, Will |
| contents | The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by restricting to positive and deliberate uses. Rather than using an ad hoc proof, we give a general framework of abstract Skolemization that can prove a wide range of examples are Abstract Elementary Classes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2209_14393 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Cofinality quantifiers in Abstract Elementary Classes and beyond Boney, Will Logic The cofinality quantifiers were introduced by Shelah as an example of a compact logic stronger than first-order logic. We show that the classes of models axiomatized by these quantifiers can be turned into an Abstract Elementary Class by restricting to positive and deliberate uses. Rather than using an ad hoc proof, we give a general framework of abstract Skolemization that can prove a wide range of examples are Abstract Elementary Classes. |
| title | Cofinality quantifiers in Abstract Elementary Classes and beyond |
| topic | Logic |
| url | https://arxiv.org/abs/2209.14393 |