Hilbert spaces with generic predicates
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 ran...
- Autores:
-
Berenstein, Alexander
Hyttinen, Tapani
Villaveces, Andrés
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2018
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/66427
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/66427
http://bdigital.unal.edu.co/67455/
- Palabra clave:
- 51 Matemáticas / Mathematics
Continuous logic
Random Predicates
TP2
Stability theory
Lógica continua
Predicados aleatorios
TP2
Estabilidad
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | 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. |
|---|