Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2190

Preprint Number 2190

Previous Next Preprint server

2190. Karim Khanaki
On classification of continuous first order theories

Submission date: 24 May 2022


We give several new characterizations of IP (the independence property) and SOP (the strict order property) for continuous first order logic and study their relations to the function theory and the Banach space theory. We suggest new dividing lines of unstable theories by the study of subclasses of Baire-1 functions and argue why one should not expect a perfect analog of Shelah's theorem, namely a theory is unstable iff it has IP or SOP, for real-valued logics, especially for continuous logic.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2205.12051: pdf, ps.

Last updated: June 14 2022 19:41 Please send your corrections to: