Generic orbits and type isolation in the Gurarij space - Archive ouverte HAL Access content directly
Preprints, Working Papers, ... Year : 2014

Generic orbits and type isolation in the Gurarij space

Itaï Ben Yaacov
  • Function : Author
  • PersonId : 857168

Abstract

We study the question of when the space of embeddings of a separable Banach space $E$ in the separable Gurarij space $\mathbf{G}$ admits a generic orbit under the action of linear isometry group of $\mathbf{G}$. The question is recast in model-theoretic terms, namely type isolation and the existence of prime models, albeit without use of formal logic. We show that if the set of isolated types over $E$ is dense then a dense $G_\delta$ orbit exists, and otherwise all orbits are meagre. We then study some (families of) examples with respect to this dichotomy. We also point out that the class of Gurarij spaces is the class of models of an $\aleph_0$-categorical theory with quantifier elimination, and calculate the density character of the space of types over $E$, answering a question of Avilés et al.
Fichier principal
Vignette du fichier
Gurarij.pdf (408.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00755022 , version 1 (20-11-2012)
hal-00755022 , version 2 (18-11-2013)
hal-00755022 , version 3 (20-10-2014)
hal-00755022 , version 4 (08-01-2015)
hal-00755022 , version 5 (11-03-2016)

Identifiers

Cite

Itaï Ben Yaacov, C. Ward Henson. Generic orbits and type isolation in the Gurarij space. 2014. ⟨hal-00755022v4⟩
253 View
465 Download

Altmetric

Share

Gmail Facebook X LinkedIn More