Definability and Scott rank in separable Metric structures

Autor:	Bejarano, Diego
Rok vydání:	2024
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
Popis:	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\'an for countable structures. In the process, we prove some results concerning definability, type omitting, and back-and-forth for metric structures.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2411.01017 Zobrazit plný text záznamu View this record from Arxiv