Para depositar en Docta Complutense, identifícate con tu correo @ucm.es en el SSO institucional: Haz clic en el desplegable de INICIO DE SESIÓN situado en la parte superior derecha de la pantalla. Introduce tu correo electrónico y tu contraseña de la UCM y haz clic en el botón MI CUENTA UCM, no autenticación con contraseña.
 

Spectral Spaces in o-minimal and other NIP theories

Loading...
Thumbnail Image

Official URL

Full text at PDC

Publication date

2022

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

Citations
Google Scholar

Citation

Abstract

We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil and Starchenko. In particular, we prove for definably compact groups that the space of closed points is homeomorphic to the space of infinitesimal types. We also prove that with the spectral topology the set of invariant types concentrated in a definably compact set is a normal spectral space whose closed points are the finitely satisfiable types. On the other hand, for arbitrary NIP structures we equip the set of invariant types with a new topology, called the honest topology. With this topology the set of invariant types is a normal spectral space whose closed points are the finitely satisfiable ones, and the natural retraction from invariant types onto finitely satisfiable types coincides with Simon’s FM retraction.

Research Projects

Organizational Units

Journal Issue

Description

Keywords

Collections