Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2411.01017 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916465834196992 |
|---|---|
| author | Bejarano, Diego |
| author_facet | Bejarano, Diego |
| contents | We give a notion of Scott rank for separable metric structures based on the definability of the (metric closures of) automorphism orbits in continuous infinitary logic. This is a continuous analogue of work of Montalbán for countable structures. In the process, we prove some results concerning definability, type omitting, and back-and-forth for metric structures. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_01017 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Definability and Scott rank in separable Metric structures Bejarano, Diego Logic We give a notion of Scott rank for separable metric structures based on the definability of the (metric closures of) automorphism orbits in continuous infinitary logic. This is a continuous analogue of work of Montalbán for countable structures. In the process, we prove some results concerning definability, type omitting, and back-and-forth for metric structures. |
| title | Definability and Scott rank in separable Metric structures |
| topic | Logic |
| url | https://arxiv.org/abs/2411.01017 |