Hilbert spaces with generic predicates

• Localización: Revista Colombiana de Matemáticas, ISSN-e 0034-7426, Vol. 52, Nº. 1, 2018, págs. 107-130
• Idioma: inglés
• Títulos paralelos:
  • Espacios de Hilbert con predicados genéricos
• Enlaces
  • Texto completo
• Resumen
  • español

    Estudiamos la teor ía de modelos de expansiones de espacios deHilbert mediante predicados gen ́ericos. Primero demostramos la existencia demodelo-compa ̃neras de expansiones gen ́ericas de espacios de Hilbert medianteuna funci ́on-distancia a unaestructura aleatoria, y luego una distancia a unsubconjunto aleatorio. La teor ́ıa obtenida con la subestructura aleatoria esω-estable; la obtenida mediante la distancia a subconjunto aleatorio esTP2yNSOP1. Este ejemplo es la primera estructura de esta clase de complejidaden l ́ogica continua

  • English

    We study the model theory of expansions of Hilbert spaces bygeneric predicates. We first prove the existence of model companions forgeneric expansions of Hilbert spaces in the form of a distance function toarandom substructure, then a distance to a random subset. The theory ob-tained with the random substructure isω-stable, while the one obtained withthe distance to a random subset isTP2andNSOP1. That example is the firstcontinuous structure in that class.

• Referencias bibliográficas
  • I. Ben-Yaacov, Lovely pairs of models: the non first order case, Journal of Symbolic Logic 69 (2004), 641-662.
  • I. Ben-Yaacov, A. Berenstein, W. C. Henson, and A. Usvyatsov, Model
  • Theory for metric structures, in Model Theory with Applications to Algebra
  • and Analysis, Volume 2, Cambridge University Press.
  • I. Ben-Yaacov, A. Usvyatsov, and M. Zadka, Generic automorphism of a Hilbert space, preprint avaliable at http://ptmat.fc.ul.pt/ alexus/papers.html.
  • A. Berenstein, Hilbert spaces with generic groups of automorphisms, Arch. Math. Logic 46 (2007), no. 3, 289-299.
  • A. Berenstein and S. Buechler, Simple stable homogeneous expansions of hilbert space, Ann. Pure Appl. Logic 128 (2004), no. 1-3, 75-101.
  • Z. Chatzidakis and A. Pillay, Generic structures and simple theories, Ann. Pure Appl. Logic 95 (1998), no. 1-3.
  • A. Chernikov and N. Ramsey, On model-theoretic tree properties, Journal of Mathematical Logic 16 (2016), no. 2.
  • W. Hodges, Model Theory, Cambridge University Press, 1993.
  • B. Poizat, Le carré de l'égalité, Journal of Symbolic Logic 64 (1999), 1339-1355.