Local stability in structures with a standard sort
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866911229788815360 |
|---|---|
| author | Barbina, Silvia Camerlo, Riccardo Zambella, Domenico |
| author_facet | Barbina, Silvia Camerlo, Riccardo Zambella, Domenico |
| contents | Recently, a classical approach to continuous structures has been proposed in [ABBMZ] and [Z] that extends the class of structures falling under the scope of [HI] or [BBHU]. These articles introduce the notion of structures with a standard sort. We discuss local stability in this context. We examine three variants of the order property which are prima facie non equivalent. For each variant we show that sets externally definable by stable formulas are definable in some appropriate sense. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2510_21498 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Local stability in structures with a standard sort Barbina, Silvia Camerlo, Riccardo Zambella, Domenico Logic 03C66, 03C45, 03C68 Recently, a classical approach to continuous structures has been proposed in [ABBMZ] and [Z] that extends the class of structures falling under the scope of [HI] or [BBHU]. These articles introduce the notion of structures with a standard sort. We discuss local stability in this context. We examine three variants of the order property which are prima facie non equivalent. For each variant we show that sets externally definable by stable formulas are definable in some appropriate sense. |
| title | Local stability in structures with a standard sort |
| topic | Logic 03C66, 03C45, 03C68 |
| url | https://arxiv.org/abs/2510.21498 |