Publications > Preprint server > Preprint Number 908
Preprint Number 908
908. Karim Khanaki
Stability, NIP, and NSOP; Model Theoretic Properties of Formulas via Topological Properties of Function Spaces
Submission date: 19 August 2015.
We study and characterize stability, NIP and NSOP in terms of topological and measure theoretical properties of classes of functions. We study a measure theoretic property, 'Talagrand's stability', and explain the relationship between this property and NIP in continuous logic. Using a result of Bourgain, Fremlin and Talagrand, we prove the 'almost and Baire 1 definability' of types assuming NIP. We show that a formula φ(x,y) has the strict order property if and only if there is a convergent sequence of continuous functions on the space of φ-types such that its limit is not sequentially continuous. We deduce from this a theorem of Shelah and point out the correspondence between this theorem and the Eberlein-Smulian theorem.
Mathematics Subject Classification: 03C45, 03C90, 46E15, 46A50
Keywords and phrases: Talagrand's stability, independence property, strict order property, continuous logic, relative weak compactness, angelic space.
|Last updated: August 29 2015 11:11||Please send your corrections to:|