Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
173 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Continuous logic in a classical setting (2402.01245v1)

Published 2 Feb 2024 in math.LO

Abstract: Let $\mathcal{L}$ be a first-order two-sorted language and consider a class of $\mathcal{L}$-structures of the form $\langle M, X \rangle$ where $M$ varies among structures of the first sort, while $X$ is fixed in the second sort, and it is assumed to be a compact Hausdorff space. When $X$ is a compact subset of the real line, one way to treat classes of this kind model-theoretically is via continuous-valued logic, as in [Ben Yaacov-Berenstein-Henson-Usvyatsov 2010]. Prior to that, Henson and Iovino proposed an approach based on the notion of positive formulas [Henson-Iovino 2002]. Their work is tailored to the model theory of Banach spaces. Here we show that a similar approach is possible for a more general class of models. We introduce suitable versions of elementarity, compactness, saturation, quantifier elimination and other basic tools, and we develop basic model theory.

Summary

We haven't generated a summary for this paper yet.