Hilbert spaces with generic predicates
Type
Artículo de revista
Document language
EspañolPublication Date
2018-01-01Metadata
Show full item recordSummary
We study the model theory of expansions of Hilbert spaces by generic predicates. We first prove the existence of model companions for generic expansions of Hilbert spaces in the form of a distance function to a random substructure, then a distance to a random subset. The theory obtained with the random substructure is ω-stable, while the one obtained with the distance to a random subset is TP2 and NSOP1. That example is the first continuous structure in that class.Summary
Estudiamos la teoría de modelos de expansiones de espacios de Hilbert mediante predicados genéricos. Primero demostramos la existencia de modelo-compañeras de expansiones genéricas de espacios de Hilbert mediante una función-distancia a una estructura aleatoria, y luego una distancia a un subconjunto aleatorio. La teoría obtenida con la subestructura aleatoria es ω-estable; la obtenida mediante la distancia a subconjunto aleatorio es TP2 y NSOP1. Este ejemplo es la primera estructura de esta clase de complejidad en lógica continua.Keywords
Collections
