Publications > Preprint server > Preprint Number 536
Preprint Number 536
536. Itaï Ben Yaacov, C. Ward Henson
Generic orbits and type isolation in the Gurarij space
Submission date: 21 November 2012.
We study model-theoretic aspects of the separable Gurarij space G, in
particular type isolation and the existence of prime models, without use of
We also point out that the class of Gurarij space 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.
Mathematics Subject Classification:
Keywords and phrases:
|Last updated: November 30 2012 12:34||Please send your corrections to:|