On classification of continuous first order theories
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2022
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911407493087232 |
|---|---|
| author | Khanaki, Karim |
| author_facet | Khanaki, Karim |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2205_12051 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | On classification of continuous first order theories Khanaki, Karim Logic Functional Analysis 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. |
| title | On classification of continuous first order theories |
| topic | Logic Functional Analysis |
| url | https://arxiv.org/abs/2205.12051 |