Interpolation in model theory
Interpolation in model theory
We bring an abstract model theory perspective to interpolation. We ask, what is the role of interpolation in the study of extensions of first order logic, such as infinitary logics, generalized quantifiers and higher order logics? The abstract model theory approach reveals the basic connections between various interpolation properties in isolation, on their own, as well as with respect to other model theoretic properties, such as compactness.
Jouko Väänänen
数学
Jouko Väänänen.Interpolation in model theory[EB/OL].(2025-07-25)[2025-08-18].https://arxiv.org/abs/2507.19097.点此复制
评论