|国家预印本平台
首页|Interpolation in model theory

Interpolation in model theory

Interpolation in model theory

来源:Arxiv_logoArxiv
英文摘要

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.点此复制

评论