Showing 2024Show all
3 papers · 1 filter
math.LO2024
Elements of affine model theory
Seyed-Mohammad Bagheri
By Lindström's theorems, the expressive power of first order logic (and similarly continuous logic) is not strengthened without losing some interesting property. Weakening it, is h…
math.LO2024
Extreme types and extremal models
Seyed-Mohammad Bagheri
In the affine fragment of continuous logic, type spaces are compact convex sets. I study some model theoretic properties of extreme types. It is proved that every complete theory $…
math.LO2024
Definability in affine continuous logic
Seyed-Mohammad Bagheri
I study definable sets in affine continuous logic. Let be an affine theory. After giving some general results, it is proved that if has a first order model, its extremal th…