1 Introduction
The notion of Borel reducibility of definable equivalence relations was introduced in the foundational paper of Friedman and Stanley [Reference Gao16] and since then, it has become a central part of modern descriptive set theory. In [Reference Gao16], the authors were interested in one specific kind of equivalence relations—isomorphism of countable structures—and this still remains one of the best studied facets of the general theory. This setting allows to use methods from descriptive set theory, Polish group dynamics, and infinitary logic and their interplay leads to a rich and detailed theory. It was further developed in the papers of Hjorth–Kechris [Reference Hjorth, Kechris and Louveau24] and Hjorth–Kechris–Louveau [Reference Ivanov and Majcher-Iwanow25], where the Borel orbit equivalence relations of the infinite symmetric group
$S_\infty $
were studied in detail. We recommend the book of Gao [Reference Gao and Kechris17] as a general reference for the more basic results.
Hjorth’s work on turbulence [Reference Hjorth22] and many papers by various authors following it showed that a large class of equivalence relations coming from analysis cannot be captured by isomorphism of countable structures. This fueled the research on general orbit equivalence relations of Polish groups, mostly using methods from dynamics and Baire category. In many cases, proofs were driven by intuition from discrete model theory but no appropriate model-theoretic framework was available to formalize these ideas and they were often translated to the language of dynamics. Two notable examples are the papers of Becker [Reference Becker1] and Hjorth [Reference Hjorth23] (see also [Reference Melleray31]).
However, with the development of continuous logic in recent years, it is now possible to use model theory directly in this more general setting. The work of Gao and Kechris [Reference Henson18] and Elliot et al. [Reference Friedman and Stanley15] showed that the class of equivalence relations reducible to isomorphism of metric structures is exactly the same as those reducible to an orbit equivalence relation of a Polish group action. A major difference with the discrete setting is that countable structures can be thought of all having the same universe (some fixed countable set) and then isomorphism is nothing but the orbit equivalence relation of the natural action of
$S_\infty $
. This is very convenient for applying both dynamical and model-theoretic methods. In the continuous setting, this is no longer possible and two approaches of encoding separable metric structures have emerged in the literature. The first is encoding them as closed substructures of an appropriately chosen universal and sufficiently homogeneous structure (for example the Urysohn metric space). This is the approach taken in [Reference Elliott, Farah, Paulsen, Rosendal, Toms and Törnquist15, Reference Gao and Kechris18], where the authors show that if one restricts the class of subspaces appropriately, one can still recover isomorphism as the orbit equivalence relation of the isometry group of the Urysohn space. However, the encoding for achieving this is often cumbersome and the result is somewhat difficult to work with. An alternative method, closer to the encoding of discrete structures, was used by Ben Yaacov, Doucha, Nies, and Tsankov in [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7]. It is based on considering the values of the continuous predicates on a countable dense subset of the structure and recovering the whole structure from this information by taking the completion. This encoding allows for many interesting topologies on the space of structures, given by fragments of
$\mathcal {L}_{\omega _1\omega }$
, as in the discrete setting. Its main disadvantage is that one loses the group action, even though some dynamical methods, most notably a version of the Vaught transform, are still available. In order to compare the two methods, the reader may consult [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7] and the paper of Coskey and Lupini [Reference Coskey and Lupini12]: each proves a version of the López-Escobar theorem for the respective encoding.
First-order finitary logic is usually not expressive enough for descriptive set theoretic applications. Because of Scott sentences and the López-Escobar theorem, the logic that is usually employed for the study of the isomorphism equivalence relation of discrete structures is
$\mathcal {L}_{\omega _1\omega }$
, which allows for countable conjunctions and disjunctions. A continuous
$\mathcal {L}_{\omega _1\omega }$
logic was first studied by Ben Yaacov and Iovino in [Reference Ben Yaacov and Henson9] and a continuous logic version of Scott analysis was developed in [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7], laying the foundations for descriptive set theoretic applications.
In the beginning of this paper, we further develop the model theory of continuous
$\mathcal {L}_{\omega _1\omega }$
logic and most notably the topometric structure of the type spaces. Because of the lack of compactness, there are some additional difficulties when compared with the usual continuous logic setting. Then, given an
$\mathcal {L}_{\omega _1\omega }$
fragment
$\mathcal {F}$
and an
$\mathcal {F}$
-theory T, we define a topology on the space
$\operatorname {\mathrm {Mod}}(T)$
of codes for separable models of T. If
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, we denote by
$M_\xi $
the model coded by
$\xi $
. In analogy with the discrete setting, we identify precisely when an isomorphism class of a model is
$G_\delta $
.
Theorem 1.1. Let
$\mathcal {F}$
be a fragment, T be an
$\mathcal {F}$
-theory, and
$\xi \in \operatorname {\mathrm {Mod}}(T)$
. Let
$t_{\mathcal {F}}$
denote the topology on
$\operatorname {\mathrm {Mod}}(T)$
given by the fragment
$\mathcal {F}$
and let
$[\xi ]$
denote the set of models in
$\operatorname {\mathrm {Mod}}(T)$
isomorphic to
$M_\xi $
. Then the following are equivalent:
-
(i)
$[\xi ]$
is
${\mathbf \Pi }^0_2(t_{\mathcal {F}})$
; -
(ii)
$[\xi ]$
is
$t_{\mathcal {F}}$
-comeager in
${\overline {[\xi ]}^{t_{\mathcal {F}}}}$
; -
(iii)
$[\xi ]$
is
$t_{\mathcal {F}}$
-non-meager in
${\overline {[\xi ]}^{t_{\mathcal {F}}}}$
; -
(iv)
$M_\xi $
is
$\mathcal {F}$
-atomic.
Fragment topologies in a somewhat different setting have been previously considered by Ivanov and Majcher-Iwanow in [Reference de Jonge and van Rooij26]. A related topology, the one generated by the atomic formulas, has also been studied, for example, by Cúth, Doležal, Doucha, and Kurka in [Reference Cúth, Doležal, Doucha and Kurka10, Reference Cúth, Doležal, Doucha and Kurka11]. If the fragment
$\mathcal {F}$
is the one of finitary logic and the theory T eliminates quantifiers, then the two topologies coincide and this allows us to recover some results of [Reference Cúth, Doležal, Doucha and Kurka10, Reference Cúth, Doležal, Doucha and Kurka11] about Banach spaces from our general theorem (cf. Corollary 4.5).
Next we turn to the study of the situation where the isomorphism equivalence relation on models of a theory T has low Borel complexity. Recall that if
$\Gamma $
is a pointclass, X is a standard Borel space, and E is a Borel equivalence relation on X, then E is called potentially
$\Gamma $
if there is a Polish topology
$\tau $
on X compatible with its Borel structure such that
$E \subseteq X^2$
is
$\Gamma $
in
$\tau \times \tau $
. E is called essentially countable if it is Borel reducible to a Borel equivalence relation with countable classes. It is obvious that an essentially countable equivalence relation is potentially
${\mathbf \Sigma }^0_2$
. A somewhat surprising converse to this for orbit equivalence relations of
$S_\infty $
is due to Hjorth and Kechris [Reference Hjorth, Kechris and Louveau24]. One possible proof goes through a third equivalent model-theoretic condition that is easily verified in practice: isomorphism on a class of countable structures is essentially countable iff there exists a fragment
$\mathcal {F}$
such that for each structure M in the class, there exists a tuple
$\bar a \in M^k$
such that
$\operatorname {\mathrm {Th}}_{\mathcal {F}}(M, \bar a)$
is
$\aleph _0$
-categorical. This theorem easily implies, for example, that isomorphism (on a Borel class of) of finitely generated discrete structures is essentially countable.
If one wants to generalize the theorem of Hjorth and Kechris to the continuous setting, some care is needed. First, the result for
$S_\infty $
as stated above simply fails for general Polish groups. A simple way to see this is to consider the Banach space
$\ell _1$
as an
$F_\sigma $
Polishable subgroup of
${\mathbf R}^{\mathbf N}$
; then the orbit equivalence relation given by the translation action
$\ell _1 \curvearrowright {\mathbf R}^{\mathbf N}$
is
$F_\sigma $
but is not essentially countable [Reference Hjorth22, Proposition 3.25]. The corollary about finitely generated structures also spectacularly fails in the continuous setting: by combining several results in the
$\mathrm {C}^\ast $
-algebraic literature with a theorem of Sabok [Reference Sabok32], one sees that isomorphism for singly generated
$\mathrm {C}^\ast $
-algebras is universal for orbit equivalence relations of Polish group actions (cf. Remark 6.7).
However, a form of the Hjorth–Kechris theorem is still true if one restricts to isomorphism of locally compact structures. There is also an appropriate model theoretic condition which is easy to check in applications (and implies the Hjorth–Kechris one in the discrete setting). We call a type p rigid if for any two realizations
$(M, \bar a)$
,
$(N, \bar b)$
of p in separable models M and N, we must have that M and N are isomorphic. Note, however, that the isomorphism need not send
$\bar a$
to
$\bar b$
: this is what makes this condition weaker than just saying that p is
$\aleph _0$
-categorical as a theory.
If T is a theory, we denote by
$\cong _T$
the equivalence relation of isomorphism of models of T. The following is our main theorem.
Theorem 1.2. Let T be a countable
$\mathcal {L}_{\omega _1\omega }$
theory such that all of its separable models are locally compact. Then the following are equivalent:
-
(i)
$\cong _T$
is potentially
${\mathbf \Sigma }^0_2$
; -
(ii) There exists a fragment
$\mathcal {F}$
such that for every
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, there is
$k \in {\mathbf N}$
such that the set has non-empty interior in
$$ \begin{align*} \{ \bar a \in M_\xi^k : \operatorname{\mathrm{tp}}_{\mathcal{F}} \bar a \text{ is rigid} \} \end{align*} $$
$M_\xi ^k$
;
-
(iii)
$\cong _T$
is essentially countable.
This theorem has a number of corollaries. The notion of a pseudo-connected locally compact metric space was introduced by Gao and Kechris in [Reference Henson18] in order to study the complexity of isometry of locally compact metric spaces. For example, connected locally compact spaces and proper metric spaces are pseudo-connected. It is easy to see that metric structures whose underlying metric space is pseudo-connected satisfy condition (ii) above (in fact, all types realized in such structures are rigid). So isomorphism of pseudo-connected metric structures is an essentially countable equivalence relation. This recovers a theorem of Hjorth, previously conjectured by Gao and Kechris (see [Reference Henson18, Theorem 7.1]), for the pure metric space case and in fact, we have used some of the ideas of his proof.
Another well-known result is Kechris’s theorem [Reference Kechris28] that orbit equivalence relations of actions of Polish locally compact groups are essentially countable. This is also an easy consequence of Theorem 1.2 after an appropriate encoding (cf. Corollary 7.8).
We expect that the continuous infinitary logic framework we build will find further applications in descriptive set theory. In view of this, in Section 2, we develop fairly carefully the theory of type spaces, giving three equivalent definitions for the metric on them used to define the topometric structure. Section 3 is devoted to a self-contained proof of the omitting types theorem for
$\mathcal {L}_{\omega _1\omega }$
continuous logic (the theorem is originally due to Eagle [Reference Elliott13]). In Section 4, we define the Borel space of models of a theory and the Polish topologies on it given by fragments of
$\mathcal {L}_{\omega _1\omega }$
. Finally, Sections 5 and 6 contain the proofs of our main results and Section 7 is devoted to applications.
2 Fragments of continuous
$\mathcal {L}_{\omega _1\omega }$
logic and type spaces
2.1
$\mathcal {L}_{\omega _1\omega }$
logic
We start by recalling the setting of
$\mathcal {L}_{\omega _1\omega }$
continuous logic. We mostly follow [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7]; however, the exposition is simplified by the fact that we do not need to keep careful track of moduli of continuity. A modulus of continuity is a continuous function
$\Delta \colon [0, \infty ) \to [0, \infty )$
satisfying, for all
$r, s \in [0, \infty )$
,
-
•
$\Delta (0)=0$
; -
•
$\Delta (r) \leq \Delta (r+s) \leq \Delta (r)+\Delta (s)$
.
Suppose that
$\Delta $
is a modulus of continuity and that
$(X, d_X)$
and
$(Y,d_Y)$
are metric spaces. We say that a map
$f\colon X \to Y$
respects
$\Delta $
if
$$\begin{align*}d_Y(f(x_1),f(x_2)) \leq \Delta(d_X(x_1, x_2)) \quad \text{ for all } x_1, x_2 \in X.\end{align*}$$
A signature L is a collection of predicate and function symbols and as is customary, we treat constants as
$0$
-ary functions. Throughout the paper, we assume that L is countable. To each symbol P is associated its arity
$n_P$
and its modulus of continuity
$\Delta _P$
. In addition, if P is a predicate symbol, we associate with it its bound, a compact interval
$I_P \subseteq {\mathbf R}$
where it takes its values. In a model M, predicate symbols are interpreted as real-valued functions of the appropriate arity respecting the modulus of continuity and the bound; similarly for function symbols. There is always a special binary predicate for the metric, denoted by d. To make sense of the modulus of continuity for symbols of arity greater than
$1$
, we need to fix a metric on tuples of elements of the model. By convention, if M is a model with metric d and
$k \in {\mathbf N}$
, we equip
$M^k$
with the metric given by
$$ \begin{align*} d(\bar a, \bar b) = \max_i d(a_i, b_i). \end{align*} $$
Terms and atomic formulas are defined in the usual way. More general formulas are recursively defined as explained below; it is important to keep in mind that every formula has a modulus of continuity and a bound that can be calculated from its constituents. One can build new formulas using:
-
Finitary connectives: If
$\phi $
and
$\psi $
are formulas and
$r \in {\mathbf Q}$
, then
$\phi + \psi $
,
$r \phi $
, and
$\phi \vee \psi $
are again formulas. Here
$\phi \vee \psi $
is interpreted as
$\max (\phi , \psi )$
and we also define
$\phi \wedge \psi := -(-\phi \vee -\psi ) = \min (\phi , \psi )$
and
. The constant
${\mathbf 1}$
is also a formula. By the lattice version of the Stone–Weierstrass theorem (see [Reference Eagle27, Theorem 13.12]), these connectives suffice to approximate any continuous combination of formulas. -
Quantifiers: If
$\phi (x, \bar y)$
is a formula, then
$\sup _x \phi $
and
$\inf _x \phi $
are also formulas. -
Infinitary connectives: If
$\{ \phi _n(\bar x) : n \in {\mathbf N} \}$
are formulas with the same finite set of free variables
$\bar x$
that respect a common continuity modulus and bound, then
$\bigvee _n \phi _n$
and
$\bigwedge _n \phi _n$
are also formulas. The symbol
$\bigvee $
is interpreted as a countable supremum and
$\bigwedge $
is interpreted as a countable infimum. The condition that we impose ensures that the interpretations of these formulas are still bounded, uniformly continuous functions.
We denote by
$\mathcal {L}_{\omega _1\omega }(L)$
the collection of all formulas obtained as above.
The interpretations of formulas in a structure M are defined in the usual way. We emphasize again that the interpretation of each formula of arity k is a uniformly continuous, bounded function
$M^k \to {\mathbf R}$
whose modulus of continuity and bound can be calculated syntactically from the formula (and thus are the same for all models). If
$\phi (\bar x)$
is a formula, we will denote by
$\phi ^M$
the interpretation of
$\phi $
in M. If
$\bar a \in M^k$
, we will often write
$\phi (\bar a)$
instead of
$\phi ^M(\bar a)$
. A sentence is a formula with no free variables and a theory is a collection of conditions of the form
$\phi = c$
, where
$\phi $
is a sentence and
$c \in {\mathbf R}$
. A condition
$\phi = c$
is satisfied in a structure M if
$\phi ^M = c$
. A structure M is a model of the theory T, denoted by
$M \models T$
, if all conditions in T are satisfied in M.
Definition 2.1. A fragment of
$\mathcal {L}_{\omega _1\omega }(L)$
is a countable collection
$\mathcal {F} \subseteq \mathcal {L}_{\omega _1\omega }(L)$
that contains all atomic formulas and is closed under finitary connectives, quantifiers, taking subformulas, and substitution of terms for variables.
The smallest fragment is the finitary fragment
$\mathcal {L}_{\omega \omega }(L)$
that contains no infinitary formulas. If
$\mathcal {F}$
is a fragment and T is a theory, we will say that T is an
$\mathcal {F}$
-theory if all sentences that appear in T are in
$\mathcal {F}$
.
2.2 Type spaces
Let
$\mathcal {F} \subseteq \mathcal {L}_{\omega _1\omega }(L)$
be a fragment. The collection of
$\mathcal {F}$
-formulas over a fixed (finite or infinite) tuple of variables
$\bar x$
form a Riesz space
$F_{\bar x}$
with the operations given by the finitary connectives defined above. If T is an
$\mathcal {F}$
-theory, we have a natural seminorm on this space given by
$$ \begin{align} \lVert \phi \rVert_T = \sup \{ |\phi(\bar a)| : M \models T, \bar a \in M^{\bar x} \}. \end{align} $$
The set
$\{ \phi : \lVert \phi \rVert _T = 0 \}$
is an ideal in
$F_{\bar x}$
and the completion of the quotient of
$F_{\bar x}$
by this ideal is an archimedean Banach lattice (with unit
${\mathbf 1}$
) that will be denoted by
$F_{\bar x}(T)$
. Then we can define the space of approximately realizable types as follows:
$$ \begin{align*} & \widehat {\operatorname{\mathrm{S}}}_{\bar x}(T) = \{ p \in F_{\bar x}(T)^* : p(\phi \vee \psi) = p(\phi) \vee p(\psi) \text{ for all } \phi, \psi \in F_{\bar x}(T) \\ &\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad\qquad \text{ and } p({\mathbf 1}) = 1 \}. \end{align*} $$
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
is clearly closed in the weak
$^*$
topology, and therefore a compact space. We will often write
$\phi (p)$
or
$\phi ^p$
instead of
$p(\phi )$
.
The topology on
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
is given by pointwise convergence on formulas, i.e., basic open sets are of the form
where
$r \in {\mathbf Q}$
and
$\phi $
is a formula (and dually,
). This topology is usually called the logic topology.
If
$|\bar x| = n$
, we will also write
$\widehat{\operatorname {\mathrm {S}}}_n(T)$
for
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
. If
$M \models T$
and
$\bar a \in M^{\bar x}$
, the type of
$\bar a$
is defined by
$$ \begin{align*} \phi(\operatorname{\mathrm{tp}} \bar a) = \phi(\bar a) \quad \text{for all } \phi \in F_{\bar x}(T). \end{align*} $$
Sometimes we also write
$\operatorname {\mathrm {tp}}_{\mathcal {F}}(\bar a)$
to specify the fragment if it is not understood from the context. The set
$\operatorname {\mathrm {S}}_{\bar x}(T)$
of realizable types (or just types) is defined by
$$ \begin{align*} \operatorname{\mathrm{S}}_{\bar x}(T) = \{ \operatorname{\mathrm{tp}}(\bar a) : M \models T, \bar a \in M^{\bar x} \}. \end{align*} $$
If
$\mathcal {F}$
is
${\mathcal {L}_{\omega \omega }}$
, then the compactness theorem tells us that every approximately realizable type is realizable, i.e.,
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T) = \operatorname {\mathrm {S}}_{\bar x}(T)$
. For more general fragments, this is usually not the case. A typical situation in which a type p is not realizable occurs when for some infinitary formula
$\Phi = \bigwedge _k \phi _k$
, we have that
$\Phi (p) < \inf _k \phi _k(p)$
. Nonetheless, we still have the following.
Lemma 2.2. The set
$\operatorname {\mathrm {S}}_{\bar x}(T)$
is dense in
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
.
Proof Recall that the
operation is defined by
. Suppose that for some formula
$\phi (\bar x)$
and
$r \in {\mathbf Q}$
the open set
is non-empty. In particular, there is
$p \in \widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
such that
$\phi (p) < r$
. Then
which implies that
. By the definition (2.1) of
$\lVert \cdot \rVert _T$
, this means that there is
$M \models T$
and
$\bar a \in M^{\bar x}$
such that
$\phi (\bar a) < r$
.
We will see later in Proposition 3.7 that
$\operatorname {\mathrm {S}}_{\bar x}(T)$
is a
$G_\delta $
set and therefore a Polish space.
Next we see that the Banach lattice of formulas
$F_{\bar x}(T)$
is isomorphic to the lattice
$C(\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T))$
of real-valued, continuous functions on
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
equipped with the
$\sup $
norm. This is just a version of the Yosida representation theorem (see [Reference Eagle27, Section 13]).
Proposition 2.3. The map
$\Gamma \colon F_{\bar x}(T) \to C(\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T))$
defined by
$$ \begin{align*} \Gamma(\phi)(p) = p(\phi) \end{align*} $$
is an isometric isomorphism of Banach lattices.
Proof It is clear that
$\Gamma $
is a lattice homomorphism. To see that it is isometric, note that, using Lemma 2.2,
$$ \begin{align*} \begin{aligned} \lVert \Gamma(\phi) \rVert &= \sup \{ |\phi(p)| : p \in \widehat {\operatorname{\mathrm{S}}}_{\bar x}(T) \} \\ &= \sup \{ |\phi(p)| : p \in \operatorname{\mathrm{S}}_{\bar x}(T) \} \\ &= \sup \{ |\phi(\bar a)| : M \models T, \bar a \in M^{\bar x} \} = \lVert \phi \rVert_T. \end{aligned} \end{align*} $$
This implies that
$\Gamma $
is injective and that its image is closed. The image is dense by the Stone–Weierstrass theorem, so
$\Gamma $
is also surjective.
Remark 2.4. There is a subtle feature of continuous
$\mathcal {L}_{\omega _1\omega }$
logic regarding types and constants that can sometimes be confusing. In classical
$\mathcal {L}_{\omega _1\omega }$
logic, as well as in finitary continuous logic, if
$\phi (c)$
is a formula containing a constant symbol c, then we can replace all occurrences of c by a variable x and still obtain a valid formula
$\phi (x)$
. In particular, a type in
$\operatorname {\mathrm {S}}_1(T)$
is nothing but a complete theory in the language expanded by a constant symbol extending T. In continuous
$\mathcal {L}_{\omega _1\omega }$
logic, this is no longer the case. For a simple example, consider the sentence
$$ \begin{align*} \bigvee_n (n \cdot \lVert c \rVert \wedge 1) \end{align*} $$
in the language of Banach spaces. This sentence evaluates to
$1$
if
$c \neq 0$
and to
$0$
if
$c = 0$
in any Banach space. However, replacing c by a variable yields an invalid formula because it does not respect the equicontinuity rule for infinitary connectives (and indeed, its interpretation would be discontinuous at
$0$
).
This feature of the logic is what allows to have Scott sentences for structures of the form
$(M, a)$
, where the orbit
$\operatorname {\mathrm {Aut}}(M) \cdot a$
is not closed. Note that if
$b \notin \operatorname {\mathrm {Aut}}(M) \cdot a$
, then
$(M, a) \ncong (M, b)$
. However, if
$\phi (x)$
is any
$\mathcal {L}_{\omega _1\omega }$
-formula and
$b \in \overline {\operatorname {\mathrm {Aut}}(M) \cdot a}$
, then
$\phi ^M(a) = \phi ^M(b)$
. So it is impossible to distinguish
$(M, a)$
and
$(M, b)$
by a formula
$\phi (x)$
in the language of M but it is possible to distinguish them by a sentence (in an appropriately rich fragment) if the language is augmented by a constant symbol.
An important feature of type spaces in continuous logic is that, in addition to the logic topology, they are also equipped with a metric, coming from the metric on the models, which, in general, defines a finer topology. We recall that a compact topometric space is a triple
$(X, \tau , \partial )$
, where X is a set,
$\tau $
is a compact Hausdorff topology on X, and
$\partial $
is a metric on X which is
$\tau $
-lower semicontinuous (i.e., the set
$\{ (x_1, x_2) \in X^2 : \partial (x_1, x_2) \leq r \}$
is
$\tau \times \tau $
-closed for every
$r \geq 0$
) and such that the topology defined by
$\partial $
is finer than
$\tau $
. We refer the reader to [Reference Ben Yaacov4] for the general theory of topometric spaces.
We equip the type spaces
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
with a topometric structure as follows. The topology
$\tau $
is the logic topology defined earlier: namely, pointwise convergence on formulas. We recall from [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7, Section 7] the metric
$\partial $
on
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
defined by
This definition is somewhat cumbersome and in [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7] it is only verified that
$\partial $
is a metric on the set of realizable types. We will give an equivalent definition which is easier to handle in some situations and, in particular, is obviously symmetric. We define, for
$p, q \in \widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
,
$$ \begin{align} &\partial(p, q) < s \iff \forall U \ni p, V \ni q\ \tau\text{-open} \ \exists M \models T, \bar a, \bar b \in M^{\bar x}\nonumber \\ &\qquad\qquad\qquad\qquad\qquad\qquad\operatorname{\mathrm{tp}}(\bar a) \in U \text{ and } \operatorname{\mathrm{tp}}(\bar b) \in V \text{ and } d(\bar a, \bar b) < s. \end{align} $$
Our first task is to reconcile the two definitions.
Proposition 2.5. The metrics defined by (2.2) and (2.3) are equal and
$(\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T), \tau , \partial )$
is a compact topometric space.
Proof For the first two paragraphs of the proof, we denote the metric defined in (2.2) by
$\partial '$
. First we check that
$\partial \leq \partial '$
. To that end, suppose that
$\partial '(p, q) \leq s$
and fix
$\epsilon> 0$
in order to show that
$\partial (p, q) < s + \epsilon $
. Let
and
$V \ni q$
be given. By decreasing
$\epsilon $
, we may assume that
$\phi (p) < r - \epsilon $
. From the density of realizable types and (2.2), we know that there exists
$M \models T$
and
$\bar b \in M^{\bar x}$
such that
$\operatorname {\mathrm {tp}} \bar b \in V$
and
i.e., there exists
$\bar a$
such that
$d(\bar a, \bar b) < s + \epsilon $
and
$|\phi (\bar a) - \phi (p)| < \epsilon $
, showing that
$\operatorname {\mathrm {tp}} \bar a \in U$
and
$\partial (p, q) < s + \epsilon $
, as required.
Next we show that
$\partial ' \leq \partial $
. Suppose that
$\partial (p, q) < s$
in order to show that
$\partial '(p, q) \leq s$
. Let
$\phi \in \mathcal {F}$
and
$\epsilon> 0$
be given. Denote by
$\psi (\bar x)$
the formula on the right-hand side of (2.2). Using (2.3), find
$M \models T$
and
$\bar a, \bar b \in M^{\bar x}$
such that
$d(\bar a, \bar b) < s$
,
$|\phi (\bar b) - \phi (p)| < \epsilon $
, and
$|\psi (\bar a) - \psi (q)| < \epsilon $
. It is easy to see now that
$\psi (\bar a) < \epsilon $
, implying that
$\psi (q) < 2 \epsilon $
. As
$\epsilon $
was arbitrary, this shows that
$\psi (q) = 0$
as desired.
Next we check that
$\partial $
is a metric. It is obvious that
$\partial (p, p) = 0$
. Suppose next that
$p \neq q$
in order to show that
$\partial (p, q)> 0$
. Let
$\phi $
be a formula such that
$\phi (p) < 0$
and
$\phi (q)> 1$
. If
$\partial (p, q) = 0$
, by (2.3), for every
$\epsilon $
, there exist
$\bar a, \bar b$
with
$d(\bar a, \bar b) < \epsilon $
and
$\phi (\bar a) < 0$
,
$\phi (\bar b)> 1$
, contradicting the uniform continuity of
$\phi $
.
That
$\partial $
is symmetric follows directly from (2.3). Next we verify the triangle inequality. Suppose that
$\partial (p_1, p_2) < s_1$
and
$\partial (p_2, p_3) < s_3$
in order to show that
$\partial (p_1, p_3) \leq s_1 + s_3$
. Let
and
be given
$\tau $
-open sets and let
$\epsilon $
be arbitrary such that
$\phi _1(p_1), \phi _3(p_3) < r - \epsilon $
. Let
From (2.2), we know that
$\psi _1(p_2)=\psi _3(p_2) = 0$
. By Lemma 2.2, there exists a model M and
$\bar b \in M^{\bar x}$
such that
$\psi _1(\bar b) < \epsilon $
and
$\psi _2(\bar b) < \epsilon $
. Then there exist
$\bar a, \bar c \in M^{\bar x}$
such that
$\phi _1(\bar a) < r$
,
$\phi _3(\bar c) < r$
,
$d(\bar a, \bar b) < s_1 + \epsilon $
, and
$d(\bar b, \bar c) < s_3 + \epsilon $
. By the triangle inequality in M,
$d(\bar a, \bar c) < s_1 + s_3 + 2\epsilon $
. Thus
$\operatorname {\mathrm {tp}} \bar a \in U_1$
,
$\operatorname {\mathrm {tp}} \bar c \in U_3$
, and by (2.3) and the fact that
$\epsilon $
was arbitrary, we have that
$\partial (p_1,p_3) \leq s_1+s_3$
.
That
$\partial $
is
$\tau $
-lower semicontinuous follows directly from (2.2). We finally check that the
$\partial $
-topology refines
$\tau $
. Let
$(p_i)_i$
be a net that
$\partial $
-converges to p. We need to check that for every formula
$\phi $
,
$\phi (p_i) \to \phi (p)$
. Let
$\epsilon> 0$
be given and let
$\delta> 0$
be such that for all models M and
$\bar a, \bar b \in M^{\bar x}$
,
$d(\bar a, \bar b) < \delta \implies |\phi (\bar a) - \phi (\bar b)| < \epsilon $
. We have that for all sufficiently large i, there exist M,
$\bar a, \bar b \in M^{\bar x}$
such that
$|\phi (p_i) - \phi (\bar a)| < \epsilon $
,
$|\phi (p) - \phi (\bar b)| < \epsilon $
, and
$d(\bar a, \bar b) < \delta $
, implying that
$|\phi (p_i) - \phi (p)| < 3 \epsilon $
. This concludes the proof of the proposition.
Note that
$\partial (p, q) = \infty $
iff there exists a sentence
$\phi $
such that
$\phi ^p \neq \phi ^q$
(this can happen when the theory T is not complete). Another important property of the metric
$\partial $
that follows directly from the definition is that for all M and all
$\bar a, \bar b \in M^{\bar x}$
, we have that
$\partial (\operatorname {\mathrm {tp}} \bar a, \operatorname {\mathrm {tp}} \bar b) \leq d(\bar a, \bar b)$
.
We will say that a formula
$\phi (\bar x)$
is
$1$
-Lipschitz if its interpretation
$\phi \colon M^{\bar x} \to {\mathbf R}$
is a
$1$
-Lipschitz function for any model M. Equivalently,
$\phi $
respects the continuity modulus
$\Delta _{\mathrm {L}}$
defined by
$\Delta _{\mathrm {L}}(r) = r$
. We denote by
$\mathcal {F}_1$
the collection of
$1$
-Lipschitz formulas in the fragment
$\mathcal {F}$
. The following proposition gives yet another useful equivalent definition for
$\partial $
. A similar formula for the
${\mathcal {L}_{\omega \omega }}$
fragment was proved by Ben Yaacov [Reference Ben Yaacov4].
Proposition 2.6.
-
(i) Let
$\Delta $
be a continuity modulus and let
$\phi (\bar x)$
be a formula. Then
$\phi $
respects
$\Delta $
as a formula iff
$\phi $
respects
$\Delta $
as a function
$(\operatorname {\mathrm {S}}_{\bar x}(T), \partial ) \to {\mathbf R}$
. -
(ii) For all
$p, q \in \widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
,
$$ \begin{align*} \partial_{\mathcal{F}}(p, q) = \sup_{\phi \in \mathcal{F}_1} |\phi(p) - \phi(q)|. \end{align*} $$
Proof
(i) For the
$(\Leftarrow )$
direction, note that for all
$M \models T$
and
$\bar a, \bar b \in M^{\bar x}$
, we have
$$ \begin{align*} |\phi(\bar a) - \phi(\bar b)| = |\phi(\operatorname{\mathrm{tp}} \bar a) - \phi(\operatorname{\mathrm{tp}} \bar b)| \leq \Delta(\partial(\operatorname{\mathrm{tp}} \bar a, \operatorname{\mathrm{tp}} \bar b)) \leq \Delta(d(\bar a, \bar b)). \end{align*} $$
For the
$(\Rightarrow )$
direction, fix two types
$p, q \in \operatorname {\mathrm {S}}_{\bar x}(T)$
. Let
$\epsilon> 0$
. Find a model
$M \models T$
and
$\bar a, \bar b \in M^{\bar x}$
such that
$|\phi (p) - \phi (\bar a)| < \epsilon $
,
$|\phi (q) - \phi (\bar b)| < \epsilon $
, and
$d(\bar a, \bar b) < \partial (p, q) + \epsilon $
. Then
$$ \begin{align*} |\phi(p) - \phi(q)| \leq |\phi(\bar a) - \phi(\bar b)| + 2 \epsilon \leq \Delta(d(\bar a, \bar b)) + 2 \epsilon \leq \Delta(\partial(p, q) + \epsilon) + 2\epsilon. \end{align*} $$
Taking
$\epsilon \to 0$
, we obtain the result.
(ii) If
$\phi $
is a
$1$
-Lipschitz formula, it follows from (i) that
$|\phi (p) - \phi (q)| \leq \partial (p, q)$
.
Next, suppose that
$\partial (p, q)> s$
. By (2.2), there exists a formula
$\phi (\bar y)$
such that denoting
we have
$\theta (q) = r> 0$
. Let
$$ \begin{align*} \psi(\bar x) = \inf_{\bar y} \ d(\bar x, \bar y) \vee (s/r) |\phi(\bar y) - \phi(p)| \end{align*} $$
and note that
$\psi (\bar x)$
is
$1$
-Lipschitz. Note also that if
$p'$
is a realizable type, then
$\psi (p') \leq (s/r)|\phi (p) - \phi (p')|$
(by taking
$\bar y = \bar x$
in the
$\inf $
); taking a net of realizable types
$p'$
converging to p yields that
$\psi (p) = 0$
. On the other hand, we will check that
$\psi (q) \geq s$
. Let
$\epsilon> 0$
and let
$M \models T$
and
$\bar a \in M^{\bar x}$
be such that
$|\psi (q) - \psi (\bar a)| < \epsilon $
and
$\theta (\bar a)> r - \epsilon $
. Then we see that
$$ \begin{align*} \psi(q) \geq \psi(a) - \epsilon \geq \frac{s(r - \epsilon)}{r} - \epsilon, \end{align*} $$
and letting
$\epsilon \to 0$
, we obtain
$\psi (q) \geq s$
.
3 Omitting types and atomic models
3.1 Isolated types and atomic models
If
$p \in \operatorname {\mathrm {S}}_n(T)$
and
$\delta> 0$
, we will denote by
$B_\delta (p)$
the open
$\partial $
-ball around p of radius
$\delta $
. A type
$p \in \operatorname {\mathrm {S}}_n(T)$
is called isolated if it belongs to the
$\tau $
-interior of
$B_\delta (p)$
for every
$\delta> 0$
(or, in other words, if
$\tau $
and the
$\partial $
-topology coincide at p). This is equivalent to the formally weaker condition that
$B_\delta (p)$
has non-empty
$\tau $
-interior for every
$\delta $
[Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7, Lemma 7.4]. A model M is called atomic if for every n, all n-types realized in M are isolated. We have the following basic lemma.
Lemma 3.1. The set of isolated types in
$\operatorname {\mathrm {S}}_n(T)$
is
$\partial $
-closed and
$\tau $
-
$G_\delta $
.
Proof Let
$I_n = \{ p \in \operatorname {\mathrm {S}}_n(T) : p \text { is isolated} \}$
. First it is clear that
$I_n$
is
$G_\delta $
in
$\tau $
because by definition,
$I_n$
is exactly the set of points of continuity of the identity map
$(\operatorname {\mathrm {S}}_n(T), \tau ) \to (\operatorname {\mathrm {S}}_n(T), \partial )$
(see, e.g., [Reference Kechris29, Proposition 3.6]).
Suppose now that
$p_k \xrightarrow {\partial } p$
and that
$p_k \in I_n$
for all k. Let
$\epsilon> 0$
. Then there are k and
$\delta $
such that
$B_\delta (p_k) \subseteq B_\epsilon (p)$
. But by hypothesis,
$B_\delta (p_k)$
has non-empty
$\tau $
-interior, and therefore, so does
$B_\epsilon (p)$
. By the remark above, this is sufficient to conclude that p is isolated.
An important property of atomic models is their uniqueness. The following standard fact is proved by the usual back-and-forth argument.
Proposition 3.2. Let M and N be separable L-structures and suppose that there is a fragment
$\mathcal {F}$
such that
$M \equiv _{\mathcal {F}} N$
and M and N are
$\mathcal {F}$
-atomic. Then
$M \cong N$
.
3.2 Omitting types
The omitting types theorem is a fundamental tool in model theory and one of the few that do not depend on compactness. The version for classical
$\mathcal {L}_{\omega _1\omega }$
logic is well known. In the continuous setting, the theorem (with a somewhat different formulation) is due to Eagle [Reference Elliott13]. The statement below in the case for finitary continuous logic is due to Ben Yaacov. We have preferred to include the proof as we think it is shorter and easier to follow than the one in [Reference Elliott13]. We also use some of the constructions in defining the fragment topologies in the next section.
We fix a fragment
$\mathcal {F}$
and a countable
$\mathcal {F}$
-theory T. If
$\Xi \subseteq \operatorname {\mathrm {S}}_{\bar x}(T)$
, we will say that a model
$M \models T$
omits
$\Xi $
if no type in
$\Xi $
is realized in M.
Theorem 3.3 (Omitting types).
Let
$\mathcal {F}$
be a fragment and let T be an
$\mathcal {F}$
-theory. Suppose that for every n, we are given a
$\tau $
-meager and
$\partial $
-open set
$\Xi _n \subseteq \operatorname {\mathrm {S}}_{n}(T)$
. Then there is a separable model
$M \models T$
that omits all of the
$\Xi _n$
.
Throughout this subsection we fix a fragment
$\mathcal {F}$
and a theory T as in the theorem. We will write
$\prec $
to denote elementary substructures with respect to
$\mathcal {F}$
.
The proof of the theorem depends on two lemmas. To state the first of them we need to define the space of the types each of whose realizations enumerates a countable, dense subset of an elementary substructure. One can easily show that this is an intrinsic property of the type. More precisely, let
$\bar x = (x_0, x_1, \ldots )$
be a countably infinite tuple of variables and, for
$p \in \operatorname {\mathrm {S}}_{\bar x} (T)$
, define
$$ \begin{align} p \in \mathrm{S}^{\mathrm{en}}_{\bar x}(T) \iff \forall \phi \in \mathcal{F} \quad \big(\inf_y \phi(y, \bar x) \big)^p = \inf_j \phi^p(x_j, \bar x). \end{align} $$
We will say that a type
$p \in \operatorname {\mathrm {S}}_{\bar x}(T)$
enumerates a model if
$p \in \mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
. We have the following simple lemma that justifies the name.
Lemma 3.4. Let
$M \models T$
,
$\bar a \in M^\omega $
, and let
$p = \operatorname {\mathrm {tp}} \bar a$
. Then
$$ \begin{align*} p \in \mathrm{S}^{\mathrm{en}}_{\bar x}(T) \iff \overline{\{ a_i : i \in \omega \}} \prec M. \end{align*} $$
Proof This is just a reformulation of the Tarski–Vaught test (see [Reference Ben Yaacov, Berenstein and Henson6, Proposition 4.5]). In [Reference Ben Yaacov, Berenstein and Henson6], it is stated only for finitary continuous logic but the proof works equally well in the
$\mathcal {L}_{\omega _1\omega }$
setting.
Lemma 3.5.
$\mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
is a dense
$G_\delta $
subset of
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
in the topology
$\tau $
.
Proof First note that (3.1) can be rewritten as: for all
$\phi \in \mathcal {F}$
and for all
$r \in {\mathbf Q}$
,
$$ \begin{align} \big(\inf_y \phi(y, \bar x) \big)^p < r \iff \exists j \ \phi^p(x_j, \bar x) < r. \end{align} $$
(The important direction is from left to right; the other is automatic for all p.) Let
$U_{\phi , r}$
denote the
$G_\delta $
subset of
$\widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
defined by (3.2).
If
$\Phi = \bigwedge _k \phi _k$
is an infinitary formula in
$\mathcal {F}$
, let
$$ \begin{align*} V_\Phi = \{ p \in \widehat{\operatorname{\mathrm{S}}}_{\bar x}(T) : \Phi(p) = \inf_k \phi_k(p) \}. \end{align*} $$
It is clear that
$V_\Phi $
can be written as:
$p \in V_\Phi $
iff for all
$r \in {\mathbf Q}$
,
$$ \begin{align} \Phi(p) < r \implies \exists k \ \phi_k(p) < r, \end{align} $$
which shows that
$V_\Phi $
is a
$G_\delta $
set. It is also clear that all realizable types are in
$V_\Phi $
, so by Lemma 2.2, each
$V_\Phi $
is dense. The proof of the lemma will be complete when we show that each of the sets
$U_{\phi , r}$
is dense and that
$$ \begin{align} \mathrm{S}^{\mathrm{en}}_{\bar x}(T) = \bigcap_{\phi, r} U_{\phi, r} \cap \bigcap_\Phi V_\Phi. \end{align} $$
First we check that each
$U_{\phi , r}$
is dense. Let
be non-empty open. By Lemma 2.2, there exists a realizable p with
$\psi (p) < s$
. Let
$\bar a \models p$
in some model M. We may assume that
$\big (\inf _y \phi (y, \bar x) \big )^p < r$
. Then there exists
$b \in M$
such that
$\phi (b, \bar a) < r$
. Let n be larger than the indices of all variables that appear in
$\phi $
or
$\psi $
. Finally, define
$p' = \operatorname {\mathrm {tp}}(a_0, \ldots , a_{n-1}, b, a_{n+1}, \ldots )$
. It is clear that
.
We finally verify (3.4). The
$\subseteq $
inclusion being clear, we check the other. Let
$p \in \widehat{\operatorname {\mathrm {S}}}_{\bar x}(T)$
belong to the intersection on the right-hand side. Let
$\bar a$
be a realization of the
${\mathcal {L}_{\omega \omega }}$
part of p in some model N (this means that
$\phi (\bar a) = \phi (p)$
for every
$\phi \in \mathcal {L}_{\omega \omega }$
). Such a realization exists by the compactness theorem. Let
$M = \overline {\{ a_i : i \in {\mathbf N} \}}$
; we will check that
$\bar a$
realizes all of p in M (this will imply, in particular, that M is a model of T). We proceed to prove by induction on formulas that for every formula
$\phi \in \mathcal {F}$
,
$\phi ^{M}(\bar a) = \phi (p)$
. This is true by construction for atomic formulas. The induction step for finitary connectives follows from the definition of the type space. Let now
$\phi (\bar x) = \inf _y \psi (y, \bar x)$
. Suppose first that
$\phi (p) < r$
. As
$p \in U_{\psi , r}$
, we have that there exists j with
$\psi ^p(x_j, \bar x) < r$
. By the induction hypothesis,
$\psi ^M(a_j, \bar a) < r$
, and so,
$\phi ^M(\bar a) < r$
. Conversely, suppose that
$\phi ^M(\bar a) < r$
. Then there is
$b \in M$
such that
$\psi ^M(b, \bar a) < r$
; as
$\{ a_i : i \in {\mathbf N} \}$
is dense in M, this means that there is j such that
$\psi ^M(a_j, \bar a) < r$
, and using that
$p \in U_{\psi , r}$
, this gives that
$\phi (p) < r$
, concluding the argument for quantifiers. The induction step for infinitary connectives follows from (3.3). This concludes the proof of the lemma.
For each
$s\in [{\mathbf N}]^{<{\mathbf N}}$
, i.e., for each finite sequence of distinct natural numbers, we define a map
$\pi _s \colon \mathrm {S}^{\mathrm {en}}_{\bar x}(T) \to \operatorname {\mathrm {S}}_{|s|}(T)$
by
$$\begin{align*}\big( \phi(x_0,\ldots , x_{|s|-1}) \big)^{\pi_s(p)} = \big(\phi(x_{s_0},\ldots ,x_{s_{|s|-1}})\big)^p. \end{align*}$$
Lemma 3.6. For each
$s\in [{\mathbf N}]^{<{\mathbf N}}$
the map
$\pi _s|_{\mathrm {S}^{\mathrm {en}}_{\bar x}(T)}$
is an open and continuous surjection for the topology
$\tau $
.
Proof Continuity is clear, so we proceed to prove that
$\pi $
is surjective and open. Let
$p \in \operatorname {\mathrm {S}}_n(T)$
; let
$M \models T$
and
$\bar a \in M^n$
be such that
$\operatorname {\mathrm {tp}} \bar a = p$
. By the downward Löwenheim–Skolem theorem, we may assume that M is separable. Let
$\bar b$
be a dense sequence in M with
$b_i = a_{s_i}$
for
$i < n$
. Then
$\operatorname {\mathrm {tp}} \bar b \in \mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
and
$\pi _s(\operatorname {\mathrm {tp}} \bar b) = p$
.
To check that
$\pi _s$
is open, let
be a basic open set in
$\mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
. Let
$x_{i_0}, \ldots , x_{i_{k-1}}$
be all variables that appear in
$\phi $
and are not among
$x_{s_0}, \ldots , x_{s_{n-1}}$
. We claim that
We only check the inclusion
$\supseteq $
. Let p belong to the right-hand side and let
$\bar a$
be a realization of p in a separable model M. Then there exist
$b_0, \ldots , b_{k-1}$
in M such that
$\phi (\bar a, \bar b) < r$
. Finally, we can complete
$\bar a \bar b$
to a dense sequence
$\bar c$
such that
$\pi _s(\operatorname {\mathrm {tp}} \bar c) = p$
.
Lemmas 2.2 and 3.6 together give us the following.
Proposition 3.7. For every n, the set of realizable types
$\operatorname {\mathrm {S}}_n(T) \subseteq \widehat{\operatorname {\mathrm {S}}}_n(T)$
is dense
$G_\delta $
and therefore a Polish space.
We are finally ready to prove the omitting types theorem.
Proof of Theorem 3.3.
Let
$\bar x$
be an infinite tuple of variables and consider the subset
$A \subseteq \mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
defined by
$$ \begin{align*} A = \bigcup_{s \in [{\mathbf N}]^{< {\mathbf N}}} \pi_s^{-1}(\Xi_{|s|}). \end{align*} $$
As the preimage of a meager set by an open map is meager, Lemma 3.6 implies that A is meager. As
$\mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
is Polish, this implies that there is
$p \in \mathrm {S}^{\mathrm {en}}_{\bar x}(T) \setminus A$
. Let
$\bar a$
be a realization of p and let
$M = \overline {\{ a_i : i \in {\mathbf N} \}}$
. We claim that M omits all of the
$\Xi _n$
. Suppose not; then there is n, some
$q \in \Xi _n$
, and
$\bar b \in M^n$
such that
$q = \operatorname {\mathrm {tp}} \bar b \in \Xi _n$
. As
$\Xi _n$
is
$\partial $
-open, there exists
$\epsilon> 0$
such that
$B_\epsilon (q) \subseteq \Xi _n$
. As
$\bar a$
is dense in M, there exist
$s_0, \ldots , s_{n-1}$
such that
$d(\bar b, (a_{s_0}, \ldots , a_{s_{n-1}})) < \epsilon $
. Then
$\operatorname {\mathrm {tp}} (a_{s_0}, \ldots , a_{s_{n-1}}) \in \Xi _n$
, contradicting the fact that
$\pi _s(p) \notin \Xi _n$
.⊣
Remark 3.8. We note that the proof above gives the following stronger version of Theorem 3.3 that will be used in the sequel. Namely, under the assumptions of the theorem, for comeagerly many
$\xi \in \mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
, the model coded by
$\xi $
omits all of the
$\Xi _n$
.
4 Topologies generated by fragments
In the next sections, we are going to discuss the equivalence relation of isomorphism of separable models of a given theory T. In order to do this, we need to define a suitable Polish topology (or at least a standard Borel structure) on the set of these models. It is possible to do this in many different ways but the most convenient one for us will be to use the space
$\mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
of types enumerating models defined in the previous section—it clearly codes all the separable models of T. It is worth noting at this point that this space and its standard Borel structure do not depend on the fragment
$\mathcal {F}$
that we have chosen; the topology, however, does: if the fragment has more formulas, then the topology has more open sets. By Lemma 3.5, this topology is Polish as long as the fragment
$\mathcal {F}$
contains all sentences in T. In order to avoid subscripts, it will also be convenient for us to identify the variable
$x_i$
with the natural number i. With this convention, our setting is equivalent to the usual approach in descriptive set theory to consider structures defined on
$\omega $
. We will denote by
$\operatorname {\mathrm {Mod}}(T)$
the standard Borel space
$\mathrm {S}^{\mathrm {en}}_{\bar x}(T)$
and by
$t_{\mathcal {F}}$
the Polish topology on
$\operatorname {\mathrm {Mod}}(T)$
generated by the fragment
$\mathcal {F}$
. We will also denote by
$\operatorname {\mathrm {Mod}}(L)$
the space of all separable structures in the signature L (i.e., the space of models of the empty theory).
Recall that if
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, we denote by
$M_\xi $
the model enumerated by
$\xi $
, i.e., the structure
$\overline {\{ a_i : i \in {\mathbf N} \}}$
for any realization
$\bar a \models \xi $
. We write
$M \cong N$
if the models M and N are isomorphic and
$\xi \cong \eta $
if
$M_\xi \cong M_\eta $
. We will also denote by
$[\xi ] = \{ \eta \in \operatorname {\mathrm {Mod}}(T) : \eta \cong \xi \}$
the isomorphism class of
$\xi $
. We will write
$M \equiv _{\mathcal {F}} N$
if the models M and N are elementarily equivalent with respect to
$\mathcal {F}$
, that is, for all sentences
$\phi \in \mathcal {F}$
, we have
$\phi ^M = \phi ^N$
.
Proposition 4.1. Let T be an
$\mathcal {F}$
-theory,
$\xi , \eta \in \operatorname {\mathrm {Mod}}(T)$
. Then
$M_\xi \equiv _{\mathcal {F}} M_\eta $
if and only if
$\overline {[\xi ]}^{t_{\mathcal {F}}}=\overline {[\eta ]}^{t_{\mathcal {F}}}$
.
Proof For any sentence
$\phi \in \mathcal {F}$
and
$r \in {\mathbf R}$
, the set
$\{ \xi \in \operatorname {\mathrm {Mod}}(T) : \phi ^\xi = r \}$
is invariant under isomorphism and closed in
$\operatorname {\mathrm {Mod}}(T)$
, so the backward direction is clear.
Assume now that
$M_\xi \equiv _{\mathcal {F}} M_\eta $
. Fix
$\phi (\bar {x}) \in \mathcal {F}$
,
$r \in {\mathbf R}$
, and
$u \in {\mathbf N}^{\bar x}$
and suppose that
. Then
$$ \begin{align*} \big( \inf_{\bar{x}} \phi(\bar{x}) \big)^\eta = \big( \inf_{\bar{x}} \phi(\bar{x}) \big)^\xi < r, \end{align*} $$
so there exists
$\bar {b}$
in
$M_\eta ^{\bar x}$
such that
$\phi ^{M_\eta }(\bar {b}) < r$
. But this means that there exists
$\zeta \in [\eta ]$
such that
$\phi ^{\zeta }(u) < r$
, i.e.,
. Thus,
$\overline {[\xi ]}^{t_{\mathcal {F}}}=\overline {[\eta ]}^{t_{\mathcal {F}}}$
.
Corollary 4.2. For any
$\xi \in \operatorname {\mathrm {Mod}}(T)$
,
$\operatorname {\mathrm {Th}}_{\mathcal {F}} (M_\xi )$
is
$\aleph _0$
-categorical if and only if
$[\xi ]$
is closed in the topology
$t_{\mathcal {F}}$
.
Proof If
$\operatorname {\mathrm {Th}}_F(M_\xi )$
is
$\aleph _0$
-categorical, then
$[\xi ] = \{ \eta : M_\eta \equiv _{\mathcal {F}} M_\xi \}$
, which is a closed set. The converse follows from Proposition 4.1.
Theorem 4.3. Let
$\mathcal {F}$
be a fragment, let T be an
$\mathcal {F}$
-theory, and let
$\xi \in \operatorname {\mathrm {Mod}}(T)$
. Then the following are equivalent:
-
(i)
$[\xi ]$
is
${\mathbf \Pi }^0_2(t_{\mathcal {F}})$
; -
(ii)
$[\xi ]$
is
$t_{\mathcal {F}}$
-comeager in
${\overline {[\xi ]}^{t_{\mathcal {F}}}}$
; -
(iii)
$[\xi ]$
is
$t_{\mathcal {F}}$
-non-meager in
${\overline {[\xi ]}^{t_{\mathcal {F}}}}$
; -
(iv)
$M_\xi $
is
$\mathcal {F}$
-atomic.
Proof
-
(i)
$\Rightarrow $
(ii)
$\Rightarrow $
(iii). This is clear. -
(iii)
$\Rightarrow $
(iv). Suppose that
$M_\xi $
is not atomic and let
$T' = \operatorname {\mathrm {Th}}_{\mathcal {F}}(M_\xi )$
. Then there exists
$n \in {\mathbf N}$
and a type
$p_0 \in \operatorname {\mathrm {S}}_n(T')$
realized in
$M_\xi $
which is not isolated. By Theorem 3.3 and Remark 3.8, for comeagerly many
$\eta \in \operatorname {\mathrm {Mod}}(T') = {\overline {[\xi ]}^{t_{\mathcal {F}}}}$
,
$M_\eta $
omits
$p_0$
, implying that
$\eta \ncong \xi $
. -
(iv)
$\Rightarrow $
(i). By the uniqueness of atomic models (Proposition 3.2), a model M is isomorphic to
$M_\xi $
iff M is an
$\mathcal {F}$
-atomic model of
$T' = \operatorname {\mathrm {Th}}_{\mathcal {F}}(M_\xi )$
. Let
$I_n \subseteq \operatorname {\mathrm {S}}_n(T')$
be the set of isolated types. It follows from Lemma 3.1 that
$I_n$
is
$G_\delta $
and that for every n and every model M, the set
$\{ \bar a \in M^n : \operatorname {\mathrm {tp}} \bar a \in I_n \}$
is closed. Thus we have which is clearly a
$$ \begin{align*} \eta \in [\xi] \iff \forall u \in {\mathbf N}^{<{\mathbf N}} \quad \operatorname{\mathrm{tp}}^{\eta}(u) \in I_{|u|}, \end{align*} $$
$G_\delta $
condition.
A different, coarser topology
$t_{\mathrm {qf}}$
on the space of models
$\operatorname {\mathrm {Mod}}(T)$
often considered in the literature is the one generated by the atomic formulas (rather than all formulas in a certain fragment). Then in order to ensure that this topology is Polish, one usually restricts to
$\forall \exists $
-theories, i.e., theories axiomatized by conditions of the form
$$ \begin{align*} \operatorname*{\mbox{sup }}_{\bar x} \operatorname*{\mbox{inf }}_{\bar y} \phi(\bar x, \bar y) \leq 0 \end{align*} $$
with
$\phi $
a quantifier-free finitary formula. This topology is harder to handle theoretically because of the lack of quantifiers and its heavy dependence on the choice of signature but is easier to compute with in practice. Fortunately, in some common situations, the topology
$t_{\mathrm {qf}}$
coincides with the topology
$t_0$
generated by the fragment
$\mathcal {L}_{\omega \omega }(L)$
: namely, when the theory T is model-complete. Recall that an
${\mathcal {L}_{\omega \omega }}$
-theory is model-complete if every embedding between models of T is elementary. Equivalently, every formula is equivalent to a formula of the form
$\inf _{\bar y} \psi (\bar x, \bar y)$
with
$\psi $
quantifier-free (see, e.g., [Reference Becker and Kechris3, Corollary A.5]). In particular, if a theory eliminates quantifiers, it is model-complete. We have the following corollary of Theorem 4.3, which gives a characterization of
$G_\delta $
isomorphism classes in the topology
$t_{\mathrm {qf}}$
in the space of models of a model-complete theory.
Corollary 4.4. Let
$T_0$
be a
$\forall \exists $
-theory and let
$T \supseteq T_0$
be an
$\mathcal {L}_{\omega \omega }(L)$
-theory. Let
$\xi \in \operatorname {\mathrm {Mod}}(T)$
and consider the statements:
-
(i)
$[\xi ]$
is
$G_\delta $
in
$(\operatorname {\mathrm {Mod}}(T_0), t_{\mathrm {qf}})$
; -
(ii)
$M_\xi $
is an atomic model of its
$\mathcal {L}_{\omega \omega }$
-theory.
Then (i)
$\Rightarrow $
(ii) and if T is model-complete, we have equivalence.
Proof
-
(i)
$\Rightarrow $
(ii). As the topology
$t_0$
is finer than
$t_{\mathrm {qf}}$
, we have that
$[\xi ]$
is a
$G_\delta $
set in
$t_0$
, so we can apply Theorem 4.3. -
(ii)
$\Rightarrow $
(i). We will show that the topologies
$t_{\mathrm {qf}}$
and
$t_0$
coincide on
$\operatorname {\mathrm {Mod}}(T)$
. Let
$\{ \xi : \phi ^\xi (u) < r \}$
be a basic open set in
$t_0$
, where
$\phi $
is an
${\mathcal {L}_{\omega \omega }}$
formula and
$u \in {\mathbf N}^k$
. By model-completeness of T, there exists a quantifier-free formula
$\psi (\bar x, \bar y)$
such that Thus,
$$ \begin{align*} \phi(\bar b) = \operatorname*{\mbox{inf }}_{\bar y} \psi(\bar b, \bar y), \quad \text{ for all } M \models T, \bar b \in M^k. \end{align*} $$
and the latter is clearly an open condition on
$$ \begin{align*} \phi^\xi(u) < r \iff \exists v \in {\mathbf N}^k \ \psi^\xi(u, v) < r, \end{align*} $$
$\xi $
in
$t_{\mathrm {qf}}$
.
Thus
$(\operatorname {\mathrm {Mod}}(T), t_{\mathrm {qf}})$
is Polish and therefore a
$G_\delta $
subset of
$(\operatorname {\mathrm {Mod}}(T_0), t_{\mathrm {qf}})$
. Now Theorem 4.3 implies that
$[\xi ]$
is
$G_\delta $
in
$(\operatorname {\mathrm {Mod}}(T), t_0)$
and thus Polish in both
$t_0$
and
$t_{\mathrm {qf}}$
. Therefore
$[\xi ]$
is
$G_\delta $
in
$\operatorname {\mathrm {Mod}}(T_0)$
.
As an illustration of these ideas, we explain how to recover some results from the recent papers [Reference Cúth, Doležal, Doucha and Kurka10, Reference Cúth, Doležal, Doucha and Kurka11] of Cúth, Doležal, Doucha, and Kurka. We consider the signature of Banach spaces with function symbols for addition and multiplication by scalars and a predicate symbol for the norm. Let
$T_0$
be the theory of Banach spaces (this is a universal theory because a substructure of a Banach space in this signature is still a Banach space). Some examples of
$\aleph _0$
-categorical Banach spaces are the Gurarij space and
$L^p([0, 1])$
for
$1 \leq p < \infty $
. Moreover, the Gurarij space and
$L^p([0, 1])$
for
$p \neq 4, 6, 8, \ldots$
eliminate quantifiers. The
$\aleph _0$
-categoricity and quantifier elimination for the Gurarij space follow from its homogeneity and the Ryll-Nardzewski theorem. For
$L^p$
, it follows from Henson [Reference Henson and Iovino19] that
$L^p$
is
$\aleph _0$
-categorical as a Banach lattice and it is again a consequence of the Ryll-Nardzewski theorem that a reduct of an
$\aleph _0$
-categorical structure is
$\aleph _0$
-categorical. For quantifier elimination for
$L^p$
, for
$p \neq 4, 6, \ldots $
, see [Reference Hjorth and Kechris20, Example 3.18] and [Reference Lusky30]. Finally, it is an unpublished result of Henson that the
$L^p$
Banach spaces are model-complete for all
$p \geq 1$
. We are grateful to Ward Henson for explaining to us the subtleties of the model theory of the
$L^p$
spaces and providing the references. See also [Reference Ben Yaacov5] for more details.
Corollary 4.5 (Theorem 3.1 in [Reference Cúth, Doležal, Doucha and Kurka11] and Theorem 3.4 in [Reference Cúth, Doležal, Doucha and Kurka10]).
The isometry classes of the Gurarij space and
$L^p$
for
$p \geq 1$
are
$G_\delta $
sets in
$(\operatorname {\mathrm {Mod}}(T_0), t_{\mathrm {qf}})$
.
Proof We can apply Corollary 4.4 but as pointed out by the referee, there is an alternative proof available in this case: because of model completeness, the theories are
$\forall \exists $
-axiomatizable and
$\aleph _0$
-categoricity implies that their models are exactly the isometry classes of the spaces under consideration. (To see that model-complete theories are
$\forall \exists $
-axiomatizable, one can apply the usual argument from classical logic: it follows from the definition that they are inductive and the proof of Tarski’s theorem that inductive theories are
$\forall \exists $
-axiomatizable goes through.)
Remark 4.6. The results in [Reference Cúth, Doležal, Doucha and Kurka10, Reference Cúth, Doležal, Doucha and Kurka11] are more detailed. For example, they show in addition that these isomorphism classes are
$G_\delta $
-complete.
Remark 4.7. The setup in [Reference Cúth, Doležal, Doucha and Kurka10, Reference Cúth, Doležal, Doucha and Kurka11] is slightly different from ours. They consider a countable-dimensional vector space V over
${\mathbf Q}$
and they parametrize separable Banach spaces by pseudo-norms on V (cf. [Reference Cúth, Doležal, Doucha and Kurka11, Definition 1.1]). If
$\langle e_1, e_2, \ldots \rangle $
is a basis for V and we denote by
$\mathcal {P}$
the Polish space of pseudo-norms on V with the topology inherited from
${\mathbf R}^V$
, we can define a map
$\Phi \colon \operatorname {\mathrm {Mod}}(T_0) \to \mathcal {P}$
by
$$ \begin{align*} \lVert \sum_{i=1}^n a_i e_i \rVert_{\Phi(\xi)} = \lVert \sum_{i=1}^n a_i x_i \rVert^\xi, \end{align*} $$
where
$a_1, \ldots , a_n \in {\mathbf Q}$
,
$(x_i)_i$
denote the variables of the type
$\xi $
, and
$\lVert \cdot \rVert ^\xi $
denotes as usual the evaluation of the corresponding quantifier-free formula at
$\xi $
. The image of
$\Phi $
is the collection of all pseudo-norms
$\lVert \cdot \rVert $
such that
$\{ e_1, e_2, \ldots \}$
is dense in
$(V, \lVert \cdot \rVert )$
and it is easy to see that
$\mathrm {Im\,} \Phi $
is dense
$G_\delta $
in
$\mathcal {P}$
. Moreover,
$\Phi $
is a homeomorphism between
$(\operatorname {\mathrm {Mod}}(T_0), t_{\mathrm {qf}})$
and its image. As a matter of fact, in [Reference Cúth, Doležal, Doucha and Kurka10, Theorem 3.4] the space
$\mathcal {P}_{\infty }$
of infinite-dimensional spaces is considered; however it is a
$G_\delta $
subset of
$\mathcal {P}$
.
5 The isomorphism equivalence relation: the general case
Recall that if
$\Gamma $
is a pointclass, a Borel equivalence relation E on a standard Borel space X is called potentially
$\Gamma $
if there exists a Polish topology
$\tau $
on X compatible with the Borel structure such that E is in
$\Gamma $
with respect to the topology
$\tau \times \tau $
. Recall that, for a countable
$\mathcal {L}_{\omega _1\omega }(L)$
-theory T,
$\cong _T$
denotes the equivalence relation of isomorphism on
$\operatorname {\mathrm {Mod}}(T)$
.
The main results of the next two sections are generalizations to the metric setting of two theorems of Hjorth and Kechris [Reference Hjorth, Kechris and Louveau24] that characterize smooth and essentially countable isomorphism relations. The first one works for arbitrary metric structures and is just a combination of the characterizations of atomic and
$\aleph _0$
-categorical structures from the previous section and the well-known fact that an equivalence relation is smooth iff it is potentially
${\mathbf \Pi }^0_2$
iff it is potentially closed.
We start by recalling a consequence of the metric version of the López-Escobar theorem from [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7]: if
$X \subseteq \operatorname {\mathrm {Mod}}(L)$
is Borel and invariant under isomorphism, then there exists a sentence
$\phi \in \mathcal {L}_{\omega _1\omega }(L)$
such that
$p \in X$
iff
$\phi ^p=0$
.
Theorem 5.1. Let T be a countable
$\mathcal {L}_{\omega _1\omega }(L)$
-theory. Then the following are equivalent:
-
(i)
$\cong _T$
is smooth; -
(ii) There exists a fragment
$\mathcal {F}$
such that for every
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, the theory
$\operatorname {\mathrm {Th}}_{\mathcal {F}}(M_\xi )$
is
$\aleph _0$
-categorical; -
(iii) There exists a fragment
$\mathcal {F}$
such that for every
$\xi \in \operatorname {\mathrm {Mod}}(T)$
,
$M_\xi $
is
$\mathcal {F}$
-atomic.
Proof
-
(i)
$\Rightarrow $
(ii). Let Y be a Polish space and let
$f \colon \operatorname {\mathrm {Mod}}(T) \to Y$
be a Borel mapping such that
$\xi \cong \eta $
if and only if
$f(\xi ) = f(\eta )$
. Let
$\{U_n\}_{n \in {\mathbf N}}$
be a countable basis for Y. Then Now, each
$$ \begin{align*} \xi \cong \eta \iff \forall n\ \big( \xi \in f^{-1}(U_n)\Leftrightarrow \eta \in f^{-1}(U_n) \big). \end{align*} $$
$f^{-1}(U_n)$
is an invariant Borel set, so by the López-Escobar theorem cited above, for each
$n \in {\mathbf N}$
, there are
$\mathcal {L}_{\omega _1\omega }(L)$
-sentences
$\phi _n$
and
$\psi _n$
such that
$f^{-1}(U_n)=\operatorname {\mathrm {Mod}}(\phi _n = 0)$
and
$f^{-1}(X \setminus U_n)=\operatorname {\mathrm {Mod}}(\psi _n = 0)$
. Let
$\mathcal {F}$
be the fragment generated by
$\{\phi _0, \psi _0,\ldots \}$
. Then in the Polish topology
$t_{\mathcal {F}}$
, each isomorphism class is closed. Corollary 4.2 then implies that for each
$\xi \in \operatorname {\mathrm {Mod}}(T)$
,
$\operatorname {\mathrm {Th}}_{\mathcal {F}}(M_\xi )$
is
$\aleph _0$
-categorical.
-
(ii)
$\Rightarrow $
(iii). This follows from Corollary 4.2 and Theorem 4.3. -
(iii)
$\Rightarrow $
(i). By Theorem 4.3, for any
$\xi \in \operatorname {\mathrm {Mod}}(T)$
,
$[\xi ]$
is
$G_\delta $
in the topology
$t_{\mathcal {F}}$
. Then [Reference Gao and Kechris17, Theorem 6.4.4] implies that
$\cong _\phi $
is smooth. Alternatively,
$\operatorname {\mathrm {Th}}_{\mathcal {F}}(M_\xi )$
is a complete isomorphism invariant for
$\xi $
.
Next we aim to characterize
${\mathbf \Sigma }^0_2$
isomorphism classes. We will make use of this in the next section.
For the proof of the next lemma, we will need Vaught transforms in the space
$\operatorname {\mathrm {Mod}}(T)$
as developed in [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7]. For a separable structure M, we let
$$ \begin{align*} D(M) = \big\{\bar y \in M^{\mathbf N} : \{ y_i : i \in {\mathbf N} \} \text{ is dense in } M\big\}. \end{align*} $$
$D(M)$
is clearly a
$G_\delta $
set in
$M^{\mathbf N}$
, and therefore a Polish space. If
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, denote by
$\pi \colon D(M_\xi ) \to [\xi ]$
the surjective map given by
$$ \begin{align} \phi^{\pi(y)}(u) = \phi^{M_\xi}(y(u_0), \ldots, y(u_{n-1})) \quad \text{for all } \phi \in \mathcal{F}, u \in {\mathbf N}^n, y \in D(M_\xi). \end{align} $$
In order to describe open sets in
$D(M)$
, it will be convenient to have a pseudo-metric defined on tuples of elements of M of different length. For
$m, n \leq \omega $
with
$\min (m, n) < \omega $
and
$\bar a \in M^m, \bar b \in M^n$
, we define
$$ \begin{align*} d(\bar a, \bar b) = \max \{ d(a_i, b_i) : i < \min(m, n) \}. \end{align*} $$
For
$M \models T$
,
$r> 0$
, and
$u \in {\mathbf N}^{<{\mathbf N}}$
, let
$B^{D(M)}_r(u)= \{ y \in D(M): d(y,u) < r \}$
.
The quantifiers
$\exists ^*$
and
$\forall ^*$
mean as usual “for non-meagerly many” and “for comeagerly many,” respectively. For
$A \subseteq \operatorname {\mathrm {Mod}}(T)$
,
$u \in {\mathbf N}^{<{\mathbf N}}$
, and
$k>0$
, we define the sets
$A^\triangle $
and
$A^{\triangle u,k}$
by
$$ \begin{align*} \xi \in A^\triangle &\iff \exists^* y \in D(M_\xi) \quad \pi(y) \in A; \\ \xi \in A^{\triangle u,k} &\iff \exists^* y \in B^{D(M)}_{1/k}(u) \quad \pi(y) \in A. \end{align*} $$
For a Polish space X and a Baire measurable function
$f \colon X \to {\mathbf R}$
, we define
$\operatorname *{\mathrm {inf^\ast }}_{x \in X} f(x)$
by
$$ \begin{align*} \operatorname*{\mathrm{inf^\ast}}_{x \in X} f(x) < s \iff \exists^* x \in X \quad f(x) < s, \quad \text{ for } s \in {\mathbf R}. \end{align*} $$
For a Borel subset
$A \subseteq \operatorname {\mathrm {Mod}}(T)$
and
$k \in {\mathbf N}$
, define the function
$U_A^{*k} \colon \operatorname {\mathrm {Mod}}(T) \times {\mathbf N}^k \to {\mathbf R}$
by
$$ \begin{align*} U_A^{*k}(\xi, u) = \operatorname*{\mathrm{inf^\ast}}_{y \in D(M_\xi)} \chi_{A}(\pi(y)) \vee kd(y,u). \end{align*} $$
Here
$\chi _A$
denotes the characteristic function of A. Note also that
$$ \begin{align} \big( \forall^* y \in B_{1/k}^{D(M_\xi)}(u) \ \pi(y) \in A \big) \iff U^{*k}_A(\xi, u) \geq 1. \end{align} $$
The main significance of the function
$U^{*k}_A$
is that it can be captured by a formula. More precisely, the following holds.
Theorem 5.2 [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7, Theorem 6.3].
Let T be a countable
$\mathcal {L}_{\omega _1\omega }(L)$
theory, let
$A \subseteq \operatorname {\mathrm {Mod}}(T)$
be a Borel subset, and let
$k \in {\mathbf N}$
. Then there exists an
$\mathcal {L}_{\omega _1\omega }(L)$
formula
$\phi _{A, k}(\bar x)$
with k free variables such that
$$ \begin{align*} U^{*k}_A(\xi, u) = \phi_{A, k}^\xi(u), \quad \text{ for all } \xi \in \operatorname{\mathrm{Mod}}(T), u \in {\mathbf N}^k. \end{align*} $$
The statement of [Reference Ben Yaacov, Berenstein, Henson and Usvyatsov7, Theorem 6.3] uses a slightly different metric on tuples from our d for the definition of
$U^{*k}_A$
but the proof is still valid.
We are finally ready to state our next lemma, which allows us to represent invariant
${\mathbf \Sigma }^0_2$
sets for an arbitrary Polish topology on
$\operatorname {\mathrm {Mod}}(T)$
as
${\mathbf \Sigma }^0_2$
sets for a topology of the form
$t_{\mathcal {F}}$
for a fragment
$\mathcal {F}$
in a uniform way.
Lemma 5.3. Let
$\mathcal {F}$
be a fragment and let T be a countable
$\mathcal {F}$
-theory. Let t be a Polish topology on
$\operatorname {\mathrm {Mod}}(T)$
whose open sets are Borel subsets of
$\operatorname {\mathrm {Mod}}(T)$
. Then there exists a fragment
$\mathcal {F}' \supseteq \mathcal {F}$
such that for every
${\mathbf \Sigma }^0_2(t)$
-set
$A \subseteq \operatorname {\mathrm {Mod}}(T)$
, every
$u \in {\mathbf N}^{<{\mathbf N}}$
, and
$k>0$
, we have that
$A^\triangle , A^{\triangle u,k} \in {\mathbf \Sigma }^0_2(t_{\mathcal {F}'})$
. In particular, if
$\cong _T$
is potentially
${\mathbf \Sigma }^0_2$
, then there exists a fragment
$\mathcal {F}' \supseteq \mathcal {F}$
such that every isomorphism class is
${\mathbf \Sigma }^0_2(t_{\mathcal {F}'})$
.
Proof Let
$\mathcal {B}$
be a countable basis of closed sets for the topology t, so that every t-closed set is an intersection of elements of
$\mathcal {B}$
. Let
$\mathcal {F}'$
be the fragment generated by
$\mathcal {F}$
and the formulas
$\{ \phi _{B, k} : B \in \mathcal {B}, k \in {\mathbf N} \}$
as given by Theorem 5.2. Let now
$A \in {\mathbf \Sigma }^0_2(t)$
be arbitrary and let
$A_{n,m}$
for
$n, m \in {\mathbf N}$
be such that
$A_{n,m}\in \mathcal {B}$
and
$A=\bigcup _n \bigcap _m A_{n,m}$
. Then we have
$$ \begin{align*} \begin{aligned} \xi \in A^{\triangle u,k} \iff& \exists^* y \in B^{D(M_\xi)}_{1/k}(u) \ \exists n \ \forall m \quad \pi(y)\in A_{n,m} \\ \iff& \exists n \ \exists^* y \in B^{D(M_\xi)}_{1/k}(u) \ \forall m \quad \pi(y) \in A_{n,m} \\ \iff& \exists n \ \exists u' \in {\mathbf N}^{<{\mathbf N}} \ \Big( d^{M_\xi}(u', u) \leq 1/k \text{ and } \\ &\qquad \exists k' \in {\mathbf N} \ \forall^* y \in B^{D(M_\xi)}_{1/k'}(u') \ \forall m \quad \pi(y) \in A_{n,m} \Big) \\ \iff& \exists n \ \exists u' \in {\mathbf N}^{<{\mathbf N}} \ \Big( d^{M_\xi}(u',u) \leq 1/k \text{ and } \exists k' \ \forall m \ \phi_{A_{n, m}, k'}^\xi(u') \geq 1 \Big). \end{aligned} \end{align*} $$
As both sets
$\{ \xi : d^{\xi }(u', u) \leq 1/k \}$
and
$\{ \xi : \phi _{A_{n, m}, k'}^\xi (u') \geq 1 \}$
are
$t_{\mathcal {F}'}$
-closed, we get that
$A^{\triangle u, k} \in {\mathbf \Sigma }^0_2(t_{\mathcal {F}'})$
.
Next we prove the statement in the final sentence of the lemma. Suppose that
$\cong _T$
is potentially
${\mathbf \Sigma }^0_2$
. Then there exists a Polish topology t on
$\operatorname {\mathrm {Mod}}(T)$
such that
$\cong _T$
is
${\mathbf \Sigma }^0_2$
in
$t \times t$
. In particular, every isomorphism class
$[\xi ]$
is
${\mathbf \Sigma }^0_2(t)$
. On the other hand,
$[\xi ]^\triangle = [\xi ]$
, so we can apply the main statement of the lemma to find the desired fragment
$\mathcal {F}'$
.
The following definition is important for characterizing
${\mathbf \Sigma }^0_2$
isomorphism classes.
Definition 5.4. Let
$\mathcal {F}$
be a fragment and let T be an
$\mathcal {F}$
-theory. We will say that a type
$p \in \operatorname {\mathrm {S}}_k(T)$
is rigid if whenever
$(M, \bar a)$
and
$(N, \bar b)$
are two realizations of p with M and N separable, then
$M \cong N$
.
Proposition 5.5. Let
$\mathcal {F}$
be a fragment, let T be an
$\mathcal {F}$
-theory, and let
$\xi \in \operatorname {\mathrm {Mod}}(T)$
. Suppose that
$[\xi ]$
is a
${\mathbf \Sigma }^0_2$
set in
$t_{\mathcal {F}}$
. Then there exists
$k> 0$
such that the set
$$ \begin{align*} \{ \bar a \in M_\xi^k : \operatorname{\mathrm{tp}}_{\mathcal{F}}(\bar a) \text{ is rigid} \} \end{align*} $$
has non-empty interior in
$M_\xi ^k$
.
Proof Let
$[\xi ] = \bigcup _n A_n$
, where each
$A_n$
is a closed set in
$t_{\mathcal {F}}$
. Write
$M = M_\xi $
and let
$\pi \colon D(M) \to [\xi ]$
be the map defined by (5.1). By the Baire category theorem, there exists
$n_0 \in {\mathbf N}$
such that
$\pi ^{-1}(A_{n_0})$
has non-empty interior. For brevity, put
$A = A_{n_0}$
. We may assume that
$\pi ^{-1}(A)$
contains an open set U of the form
$$ \begin{align*} U = \{ y \in D(M) : d(y, \bar a_0) < r \} \end{align*} $$
for some
$k \in {\mathbf N}$
and
$\bar a_0 \in M^k$
. We claim that for every
$\bar a \in B_r(\bar a_0)$
,
$\operatorname {\mathrm {tp}}_{\mathcal {F}} \bar a$
is rigid.
Indeed, fix such an
$\bar a$
and let
$(N, \bar b) \equiv _{\mathcal {F}} (M, \bar a)$
with N separable. We will find an enumeration
$z \in D(N)$
such that
$\pi (z) \in \overline {\pi (U)} \subseteq A \subseteq [\xi ]$
, which will imply that
$N \cong M$
. Choose
$z \in D(N)$
arbitrary such that
$z|_k = \bar b$
. Now given
$n \in {\mathbf N}$
, a formula
$\phi (x_0, \ldots , x_{n-1}) \in \mathcal {F}$
, and
$\epsilon> 0$
, we need to find
$y \in D(M)$
such that
$d(y, \bar a_0) < r$
and
$|\phi ^M(y|_n) - \phi ^N(z|_n)| < \epsilon $
. We may assume that
$n \geq k$
,
$\phi \geq 0$
, and
$\phi ^N(z|_n) = 0$
. We have
$\big (\inf _{\bar x} \phi (\bar b, x_k, \ldots , x_{n-1}) \big )^N = 0$
. As
$(M, \bar a) \equiv _{\mathcal {F}} (N, \bar b)$
, this implies that there exists
$\bar e \in M^{n-k}$
such that
$\phi ^M(\bar a \bar e) < \epsilon $
. Now it is enough to take
$y|_n = \bar a \bar e$
and prolong it arbitrarily.
We finish with a lemma that says that the collection of rigid types is not too complicated.
Lemma 5.6. Let
$\mathcal {F}$
be a fragment, let T be an
$\mathcal {F}$
-theory, and suppose that the equivalence relation
$\cong _T$
is Borel. Then for every
$k \in {\mathbf N}$
, the set
$$ \begin{align*} \{ p \in \operatorname{\mathrm{S}}_k(T) : p \text{ is rigid} \} \end{align*} $$
is
${\mathbf \Pi }^1_1$
.
Proof Let
$u = (0, \ldots , k-1)$
and note that for
$p \in \operatorname {\mathrm {S}}_k(T)$
,
$$ \begin{align*} p \text{ is rigid} \iff \forall \xi, \eta \in \operatorname{\mathrm{Mod}}(T) \quad \operatorname{\mathrm{tp}}^{M_\xi} u = \operatorname{\mathrm{tp}}^{M_\eta} u = p \implies M_\xi \cong M_\eta \end{align*} $$
and isomorphism being Borel, the latter condition is clearly
${\mathbf \Pi }^1_1$
.
6 The isomorphism equivalence relation: locally compact structures
The following is our main theorem about the complexity of isomorphism of locally compact structures and this section is devoted to its proof.
Theorem 6.1. Let T be a countable
$\mathcal {L}_{\omega _1\omega }(L)$
theory such that all of its separable models are locally compact. Then the following are equivalent:
-
(i)
$\cong _T$
is potentially
${\mathbf \Sigma }^0_2$
; -
(ii) There exists a fragment
$\mathcal {F}$
such that T is an
$\mathcal {F}$
-theory and for every
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, there is
$k \in {\mathbf N}$
such that the set has non-empty interior in
$$ \begin{align*} \{ \bar a \in M_\xi^k : \operatorname{\mathrm{tp}}_{\mathcal{F}} \bar a \text{ is rigid} \} \end{align*} $$
$M_\xi ^k$
;
-
(iii)
$\cong _T$
is essentially countable.
If M is a structure and
$\mathcal {F}$
is a fragment, let
$$ \begin{align*} \Theta_n^{\mathcal{F}} (M) = \{ p \in \operatorname{\mathrm{S}}_n(\operatorname{\mathrm{Th}}_{\mathcal{F}}(M)) : M \text{ realizes } p \}. \end{align*} $$
If
$\mathcal {F}$
is understood, we will often omit it from the notation.
If
$(Z, d)$
is a metric space,
$z_0 \in Z$
, and
$r> 0$
, we denote by
$$ \begin{align*} B_r(z_0) = \{ z \in Z : d(z, z_0) < r \} \quad \text{ and } \quad B^{\prime}_r(z_0) = \{ z \in Z : d(z, z_0) \leq r \} \end{align*} $$
the open and closed balls with center
$z_0$
and radius r, respectively. If Z is in addition locally compact, denote
$$ \begin{align*} \rho_Z(z_0) = \sup \{ r \in {\mathbf R} : \overline{B_r(z_0)} \text{ is compact} \} = \sup \{ r \in {\mathbf R} : B_r'(z_0) \text{ is compact} \}. \end{align*} $$
If there is no danger of confusion, we will usually omit the subscript Z in
$\rho _Z$
. If
$\xi \in \operatorname {\mathrm {Mod}}(T)$
for some theory T, we will often write
$\rho _\xi $
instead of
$\rho _{M_\xi ^k}$
for some Cartesian power k that is understood from the context.
The next lemma collects some basic facts about type spaces of theories with locally compact models.
Lemma 6.2. Let
$\mathcal {F}$
be a fragment, let T be an
$\mathcal {F}$
-theory, and let M be a separable, locally compact model of T. Let
$\Phi \colon (M^n, d) \to (\operatorname {\mathrm {S}}_n(T), \partial )$
be defined by
$\Phi (\bar a) = \operatorname {\mathrm {tp}}_{\mathcal {F}} \bar a$
. Then the following hold:
-
(i)
$\Phi $
is a contraction for the metrics d on
$M^n$
and
$\partial $
on
$\operatorname {\mathrm {S}}_n(T)$
; -
(ii) If
$\bar a \in M^n$
and
$r < \rho (\bar a)$
, then
$\Phi (B_r'(\bar a)) = B_r'(\Phi (a))$
. In particular,
$B_r'(\operatorname {\mathrm {tp}} \bar a) \subseteq \Theta _n(M)$
and
$B_r'(\operatorname {\mathrm {tp}} \bar a)$
is
$\partial $
-compact; -
(iii) If
$B_r(\bar a)$
is an open ball with
$r \leq \rho (\bar a)$
, then
$\Phi (B_r(\bar a)) = B_r(\Phi (\bar a))$
. In particular,
$\Phi $
is an open map
$M^n \to (\operatorname {\mathrm {S}}_n(T), \partial )$
; -
(iv) The set
$\Theta _n(M)$
is open in
$(\operatorname {\mathrm {S}}_n(T), \partial )$
and the space
$(\Theta _n(M), \partial )$
is locally compact and separable.
Proof (i) This is clear.
(ii) Let
$p \in \operatorname {\mathrm {S}}_n(T)$
be such that
$\partial (p, \operatorname {\mathrm {tp}} \bar a) \leq r$
. Then by the definition (2.2) of
$\partial $
, there is a sequence
$(\bar b_i)_{i \in {\mathbf N}}$
of elements of
$B^{\prime }_r(\bar a)$
such that for every
$\mathcal {F}$
-formula
$\phi $
,
$\phi ^M(\bar b_i) \to \phi (p)$
and
$\limsup _{i \to \infty } d(\bar b_i, \bar a) \leq r$
. Let
$\bar b$
be a limit point of the
$\bar b_i$
. Then
$\bar b \models p$
and
$d(\bar b, \bar a) \leq r$
, as required.
(iii) Let
$B_r(\bar a)$
be an open ball around
$\bar a$
with
$r < \rho (\bar a)$
. Using (ii), we have that
$$ \begin{align*} \Phi(B_r(\bar a)) = \Phi(\bigcup_{r' < r} B^{\prime}_{r'}(\bar a)) = \bigcup_{r' < r} \Phi(B^{\prime}_{r'}(\bar a)) = \bigcup_{r' < r} B^{\prime}_{r'}(\Phi(\bar a)) = B_r(\Phi(\bar a)). \end{align*} $$
We conclude by observing that, as M is locally compact, the sets
$\{ B_r(\bar a) : \bar a \in M^n, r < \rho (\bar a) \}$
form a basis for the topology of
$M^n$
.
(iv) This follows from (iii) and the fact that the open, continuous image of a locally compact space is locally compact.
For a fixed
$\tau $
-open set
$U \subseteq \operatorname {\mathrm {S}}_n(T)$
and
$\epsilon> 0$
, define the following equivalence relation
$R_{U, \epsilon }(M)$
on
$U \cap \Theta _n(M)$
:
$$ \begin{align*} p \,R_{U, \epsilon}\, q \iff \exists p_0, \ldots, p_k \in U \ p_0 = p \text{ and } p_k = q \text{ and } \forall i < k \ \partial(p_i, p_{i+1}) < \epsilon. \end{align*} $$
Note that each
$R_{U, \epsilon }$
-class is
$\partial $
-open, so by Lemma 6.2, there are only countably many of them.
Lemma 6.3. Let M be locally compact. Then for every
$p \in \Theta _n(M)$
, there exist a basic
$\tau $
-open U and
$\epsilon> 0$
such that
$\overline {[p]_{R_{U, \epsilon }}}^{\partial }$
is
$\partial $
-compact and contained in
$\Theta _n(M)$
. In particular,
$\overline {[p]_{R_{U, \epsilon }}}^{\tau }$
is
$\tau $
-compact and
$\overline {[p]_{R_{U, \epsilon }}}^{\tau } \subseteq \Theta _n(M)$
.
Proof Use Lemma 6.2 to find
$\epsilon> 0$
such that
$B^{\prime }_{2\epsilon }(p)$
is
$\partial $
-compact and contained in
$\Theta _n(M)$
. Then the
$\tau $
-topology and the
$\partial $
-topology coincide on
$B_{2\epsilon }(p)$
and therefore there exists a basic
$\tau $
-open
$U \subseteq \operatorname {\mathrm {S}}_n(T)$
such that
$p \in U$
and
$U \cap B_{2\epsilon }(p) \subseteq B_\epsilon (p)$
. This implies that
$[p]_{R_{U, \epsilon }} \subseteq B_\epsilon (p)$
. As
$B^{\prime }_\epsilon (p)$
is
$\tau $
-closed, we obtain that
$\overline {[p]_{R_{U, \epsilon }}}^{\tau } \subseteq B^{\prime }_\epsilon (p) \subseteq \Theta _n(M)$
. Furthermore,
$\overline {[p]_{R_{U, \epsilon }}}^{\tau }$
, being a
$\partial $
-closed subset of the
$\partial $
-compact set
$B^{\prime }_\epsilon (p)$
, is
$\partial $
-compact and therefore also
$\tau $
-compact.
Lemma 6.4. Let T be a countable
$\mathcal {L}_{\omega _1\omega }(L)$
theory such that all of its separable models are locally compact, and let
$k \in {\mathbf N}$
. Then the following maps are Borel:
-
(i)
$\operatorname {\mathrm {Mod}}(T) \times {\mathbf N}^k \to {\mathbf R}$
,
$(\xi , u) \mapsto \rho _\xi (u)$
; -
(ii)
$\operatorname {\mathrm {Mod}}(T) \times {\mathbf N}^k \times {\mathbf R}^+ \to K(\operatorname {\mathrm {S}}_k(T))$
,
$(\xi , u, r) \mapsto B^{\prime }_r(\operatorname {\mathrm {tp}}^\xi u)$
if
$r < \rho _\xi (u)$
and
$\emptyset $
, otherwise. Here
$K(\operatorname {\mathrm {S}}_k(T))$
denotes the collection of
$\tau $
-compact subsets of
$\ \operatorname {\mathrm {S}}_k(T)$
equipped with the Vietoris topology.
Proof (i) We consider for simplicity of notation the case
$k = 1$
. For
$r \in {\mathbf R}^+$
, we have
$$ \begin{align*} \begin{aligned} \rho_{\xi}(u)> r \iff& \exists r' > r \ B_{r'}^{M_\xi}(u) \text{ is totally bounded} \\ \iff& \exists r' > r \ \forall \epsilon > 0 \ \exists v_0, \ldots, v_{m-1} \in {\mathbf N} \ \forall w \in {\mathbf N} \\ &\qquad d^\xi(u, w) < r' \implies \exists i < m \ d^\xi(v_i, w) < \epsilon, \end{aligned} \end{align*} $$
and this is clearly Borel (the quantifiers on
$r'$
and
$\epsilon $
can be taken over the rationals).
(ii) We need to check that for any basic
$\tau $
-open
$U \subseteq \operatorname {\mathrm {S}}_k(T)$
, the set
$$ \begin{align*} W = \{ (\xi, u, r) \in \operatorname{\mathrm{Mod}}(T) \times {\mathbf N}^k \times {\mathbf R}^+ : r < \rho_\xi(u) \text{ and } B_r'(\operatorname{\mathrm{tp}}^\xi u) \cap U \neq \emptyset \} \end{align*} $$
is Borel. Let
for some formula
$\phi $
. We have that
which is clearly Borel. The left to right direction of the first equivalence is clear. To go from right to left, suppose that the right-hand side holds. For
$n \in {\mathbf N}$
, let
$p_n \in B_{r+1/n}(\operatorname {\mathrm {tp}}^\xi u)$
be such that
$\phi (p_n) < s'$
. It follows from Lemma 6.2
(ii) that
$\rho (\operatorname {\mathrm {tp}}^\xi u) \geq \rho _\xi (u)> r$
, so we may assume that the sequence
$p_n\ \partial $
-converges to some p. Then
$\phi (p) \leq s' < s$
and
$\partial (p, \operatorname {\mathrm {tp}}^\xi u) \leq r$
, so
$p \in B_r'(\operatorname {\mathrm {tp}}^\xi u) \cap U$
. The second equivalence follows from Lemma 6.2
(iii).
Lemma 6.5. Suppose that T is a theory satisfying item (ii) of the statement of Theorem 6.1. Then
$\cong _T$
is Borel.
Proof Fix a fragment
$\mathcal {F}$
satisfying the condition in item (ii) of Theorem 6.1. We will show that
$$ \begin{align} M_\xi \cong M_\eta \iff \forall k \ \forall u \in {\mathbf N}^k \ \forall r < \rho_\xi(u) \ \exists v \in {\mathbf N}^k \quad \operatorname{\mathrm{tp}}^{\eta} v \in B_r'(\operatorname{\mathrm{tp}}^{\xi} u), \end{align} $$
where the types are taken with respect to
$\mathcal {F}$
. Suppose first that
$M_\xi \cong M_\eta $
and let
$f \colon M_\xi \to M_\eta $
be an isomorphism. Let k, u, and r be given. Then any
$v \in f(B_r(u))$
works because
$\operatorname {\mathrm {tp}}^{\eta } v = \operatorname {\mathrm {tp}}^{\xi } f^{-1}(v)$
.
Now suppose that the right-hand side of (6.1) holds. Let k be such that
$$ \begin{align*} \{ \bar a \in M_\xi^k : \operatorname{\mathrm{tp}} \bar a \text{ is rigid} \} \end{align*} $$
has non-empty interior in
$M_\xi ^k$
. Let
$u \in {\mathbf N}^k$
and
$r < \rho _\xi (u)$
be such that for all
$\bar a \in B_r'(u)$
,
$\operatorname {\mathrm {tp}}^{\xi } \bar a$
is rigid. It follows from Lemma 6.2 that every
$p \in B_r'(\operatorname {\mathrm {tp}}^{\xi } u)$
is realized in
$M_\xi $
and is rigid. The hypothesis implies that some
$p \in B_r'(\operatorname {\mathrm {tp}}^{\xi } u)$
is realized in
$M_\eta $
. Thus
$M_\xi $
and
$M_\eta $
realize a common rigid type, so they must be isomorphic. This concludes the proof of (6.1).
Finally, it follows from Lemma 6.4 that the condition in the right-hand side of (6.1) is Borel.
Proof of Theorem 6.1.
-
(i)
$\Rightarrow $
(ii). This follows from Lemma 5.3 and Proposition 5.5. -
(ii)
$\Rightarrow $
(iii). By a well-known result of Kechris (see [Reference Hjorth21, Lemma 5.2]), in order to prove that
$\cong _T$
is essentially countable, it suffices to produce a standard Borel space Y and a Borel map
$\Psi \colon \operatorname {\mathrm {Mod}}(T) \to Y$
such that the image of each isomorphism class is countable and the images of different classes are disjoint. Let
$Y = \bigsqcup _k K(\operatorname {\mathrm {S}}_k(T))$
and define
$\Psi $
as follows: for a given
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, choose
$k \in {\mathbf N}$
and
$u \in {\mathbf N}^k$
such that
$p = \operatorname {\mathrm {tp}}^\xi u$
is rigid, choose a basic
$\tau $
-open
$U \subseteq \operatorname {\mathrm {S}}_k(T)$
and a rational
$\epsilon> 0$
such that Lemma 6.3 holds for p, and set
$\Psi (\xi ) = \overline {[p]_{R_{U, \epsilon }}}^{\tau }$
. We check that this can be done in a Borel way. First, by Lemma 6.5, the equivalence relation
$\cong _T$
is Borel. Now Lemma 5.6 implies that the set is
$$ \begin{align*} W = \{ (\xi, u) \in \operatorname{\mathrm{Mod}}(T) \times {\mathbf N}^{<{\mathbf N}} : \operatorname{\mathrm{tp}}^\xi u \text{ is rigid} \} \end{align*} $$
${\mathbf \Pi }^1_1$
and by assumption, each section
$W_\xi $
for
$\xi \in \operatorname {\mathrm {Mod}}(T)$
is non-empty. Then by number uniformization [Reference Kechris29, Theorem 35.1], there exists a
${\mathbf \Pi }^1_1$
set
$W_* \subseteq W$
such that for all
$\xi \in \operatorname {\mathrm {Mod}}(T)$
, there is a unique
$u \in {\mathbf N}^{<{\mathbf N}}$
such that
$(\xi , u) \in W_*$
. If for
$u \in {\mathbf N}^{<{\mathbf N}}$
, we denote
$W_*^u = \{ \xi : (\xi , u) \in W_* \}$
, we have that
$\operatorname {\mathrm {Mod}}(T) = \bigsqcup _{u \in {\mathbf N}^{<{\mathbf N}}} W_*^u$
. As each of the sets
$W_*^u$
is
${\mathbf \Pi }^1_1$
and
$\operatorname {\mathrm {Mod}}(T)$
is Borel, this implies that each
$W_*^u$
is Borel. Thus
$W_*$
is the graph of a Borel map
$\Phi \colon \operatorname {\mathrm {Mod}}(T) \to {\mathbf N}^{<{\mathbf N}}$
such that
$\operatorname {\mathrm {tp}}^\xi \Phi (\xi )$
is rigid for all
$\xi \in \operatorname {\mathrm {Mod}}(T)$
. Write
$u = \Phi (\xi )$
,
$k = |u|$
, and
$p = \operatorname {\mathrm {tp}}^\xi u$
. Next, for Lemma 6.3 to hold, we need that
$2\epsilon < \rho _\xi (u)$
and
$U \cap B^{\prime }_{2\epsilon }(p) \subseteq B^{\prime }_\epsilon (p)$
. Thus
$\epsilon $
and U can also be chosen in a Borel way by Lemma 6.4. Finally, note that
$\overline {[p]_{R_{U, \epsilon }}}^{\tau } = {\overline {U \cap B_\epsilon (p)}}^{\tau }$
and this is again Borel. Indeed, for a
$\tau $
-open
$V \subseteq \operatorname {\mathrm {S}}_{k}(T)$
, we have and this is a Borel condition.As there are only countably many choices for k, U, and
$$ \begin{align*} \begin{aligned} {\overline{U \cap B_\epsilon(p)}}^{\tau} \cap V \neq \emptyset &\iff B_\epsilon(p) \cap U \cap V \neq \emptyset \\ &\iff \exists v \in {\mathbf N}^{k} \ d^\xi(u, v) < \epsilon \text{ and } \operatorname{\mathrm{tp}}^\xi v \in U \cap V, \end{aligned} \end{align*} $$
$\epsilon $
,
$R_{U, \epsilon }$
has only countably many classes, and for isomorphic M and N,
$\Theta _k(M) = \Theta _k(N)$
, we obtain that the image of each isomorphism class is countable. Suppose now that
$\Psi (\xi ) = \Psi (\eta )$
for some
$\xi , \eta \in \operatorname {\mathrm {Mod}}(T)$
. This implies that there exists
$k \in {\mathbf N}$
and
$\bar a \in M_\xi ^k$
such that
$p = \operatorname {\mathrm {tp}} \bar a$
is rigid and
$p \in \Psi (\xi ) = \Psi (\eta ) \subseteq \Theta (M_\eta )$
. In particular,
$M_\eta $
realizes p and by rigidity, we must have
$M_\xi \cong M_\eta $
.
-
(iii)
$\Rightarrow $
(i). This is obvious.⊣
We conclude this section with two remarks comparing Theorem 6.1 to the analogous result of Hjorth and Kechris about discrete structures and showing with examples that natural modifications of Theorem 6.1 fail.
Remark 6.6. One may ask whether it is possible to replace the notion of a rigid type in Theorem 6.1 with the requirement that the type (considered as a theory) has an atomic model. (Indeed, this is the condition used by Hjorth and Kechris in the discrete case.) We first note that in classical logic, every rigid type admits an atomic model. This is simply because if p is rigid, then
$\operatorname {\mathrm {S}}_n(p)$
is countable for every n and in every countable Polish space, isolated points are dense. However, this fails in continuous logic as can be seen from the following example. Let
${\mathbf G}$
denote the Gurarij Banach space. This is the Fraïssé limit of finite-dimensional Banach spaces and it is
$\aleph _0$
-categorical in the
${\mathcal {L}_{\omega \omega }}$
fragment. Then there exists a four-dimensional subspace
$E \subseteq {\mathbf G}$
such that the theory of
${\mathbf G}$
with parameters for E does not admit an atomic model (see [Reference Ben Yaacov, Doucha, Nies and Tsankov8, Example 6.6]). For us, this means that if
$\bar e \in {\mathbf G}^4$
is a basis for E, then
$\operatorname {\mathrm {tp}} \bar e$
does not admit an atomic model. However, this type is rigid because
$\operatorname {\mathrm {Th}}({\mathbf G})$
is
$\aleph _0$
-categorical. We do not know a similar example for locally compact structures but strongly suspect that one exists (allowing arbitrary fragments).
Remark 6.7. Another easy consequence of the Hjorth–Kechris result is that isomorphism of finitely generated discrete structures is an essentially countable equivalence relation. This also fails in the continuous setting as can be seen by combining several results from the literature as follows. Thiel and Winter [Reference Thiel and Winter34, Theorem 3.8] have proved that separable,
$\mathcal {Z}$
-stable
$\mathrm {C}^\ast $
-algebras are singly generated and Toms and Winter [Reference Toms and Winter35, Theorem 2.3] have shown that approximately divisible, separable
$\mathrm {C}^\ast $
-algebras are
$\mathcal {Z}$
-stable. It follows from the proof of the main theorem in [Reference Elliott, Farah, Paulsen, Rosendal, Toms and Törnquist14] that separable, simple, AI algebras are approximately divisible, and finally, Sabok [Reference Sabok32] has proved that the isomorphism relation for separable, simple AI algebras is bi-reducible with the universal equivalence relation given by a Polish group action. By combining all of this, we conclude that isomorphism for singly generated
$\mathrm {C}^\ast $
-algebras is universal for orbit equivalence relations of Polish group actions.
7 Pseudo-connected metric structures and a theorem of Kechris
In this section, we use some basic model theory and Theorem 6.1 to deduce a generalization of a theorem of Hjorth about pseudo-connected locally compact metric spaces. We also show how to apply this to recover a theorem of Kechris about orbit equivalence relations of actions of locally compact Polish groups.
We recall from [Reference Henson18] the definition of a pseudo-connected space. Let
$(Z, d)$
be a locally compact metric space. We define a reflexive, transitive relation
$E^*$
on Z by
$$ \begin{align} &x \,E^*\, y := \exists z_0, z_1, \ldots, z_n \ \forall i = 0, \ldots, n-1 \nonumber\\ &\qquad\qquad\quad\qquad\qquad\qquad\qquad d(z_i, z_{i+1}) < \rho(z_i) \text{ and } z_0 = x \text{ and } z_n = y, \end{align} $$
and we let E be the symmetrization of
$E^*$
:
$$ \begin{align*} x \,E\, y \iff x \,E^*\, y \text{ and } y \,E^*\, x. \end{align*} $$
The pseudo-component of
$z \in Z$
, denoted by
$C[z]$
, is its E-equivalence class and we call Z pseudo-connected if it has only one pseudo-component. Examples of pseudo-connected locally compact metric spaces are the connected spaces and the proper metric spaces (spaces where every closed ball is compact).
Remark 7.1. Our model-theoretic setting is limited to bounded structures, so, strictly speaking, the example of proper metric spaces does not fall into our framework. It is possible to treat unbounded structures in several ways. One is to replace the distance predicate d by infinitely many predicates
$\{ d_n \}_{n \in {\mathbf N}}$
defined by
$d_n = d \wedge n$
(and take
$d_1$
as the “official” distance used to define the moduli of continuity). Then one needs to add the axiom
$$ \begin{align*} \inf_{x, y} \bigvee_n 1 \wedge (n - d_n(x, y)) = 1, \end{align*} $$
which states that
$d(x, y)$
is finite for all points
$x, y$
.
Another possibility is to replace the metric d by
$d' = d/(1+d)$
which is bounded by
$1$
. Then the condition of being proper is replaced by the condition that every closed ball of radius less than
$1$
is compact and the new space is still pseudo-connected. Note that both encodings preserve the equivalence relation of isomorphism.
Recall that if M is a model and
$A \subseteq M$
, the algebraic closure of A is defined by
$$ \begin{align*} \operatorname{\mathrm{acl}} A := \bigcup \{ D \subseteq M : D \text{ is } {\mathcal{L}_{\omega\omega}}\text{-definable from}\ A\ \text{and compact} \}. \end{align*} $$
See [Reference Ben Yaacov, Berenstein and Henson6, Section 9] for the definition of definable sets and more details on the algebraic closure operator. We will only use the notion of algebraic closure for the finitary fragment
${\mathcal {L}_{\omega \omega }}$
, so that all results of [Reference Ben Yaacov, Berenstein and Henson6] apply.
We have the following basic fact about pseudo-components.
Proposition 7.2. Let M be a locally compact metric structure and let
$a \in M$
. Then
$C[a] \subseteq \operatorname {\mathrm {acl}} a$
.
Proof Let
$b \in M$
and
$r < \rho (b)$
. We will show that the compact ball
$B^{\prime }_r(b)$
is definable from b. We will apply [Reference Ben Yaacov, Berenstein and Henson6, Proposition 9.19(2)] to the predicate
. If the condition (2) is not verified, there exists
$\epsilon> 0$
such that for every n there exists a point
$b_n$
with
$d(b_n, b) < r + 1/n$
and
$d(b_n, B^{\prime }_r(b)) \geq \epsilon $
. As
$r < \rho (b)$
, we may assume that
$b_n \to b'$
but then
$d(b, b') \leq r$
and
$d(b', B^{\prime }_r(b)) \geq \epsilon $
, contradiction.
Now the conclusion of the proposition follows from the definition (7.1) and the transitivity of the algebraic closure operator (see [Reference Ben Yaacov, Berenstein and Henson6, Proposition 10.11(2)]).
Proposition 7.3. Let
$\mathcal {F}$
be a fragment and let T be an
$\mathcal {F}$
-theory such that all models of T are pseudo-connected. Then for every model
$M \models T$
and every
$c \in M$
, the theory
$\operatorname {\mathrm {Th}}_{\mathcal {F}}(M, c)$
is
$\aleph _0$
-categorical.
Proof Suppose that
$(N, b) \equiv _{\mathcal {F}} (M, c)$
. In particular,
$(N, b) \equiv _{\mathcal {L}_{\omega \omega }} (M, c)$
, so there exists a model K and
${\mathcal {L}_{\omega \omega }}$
-elementary embeddings
$f \colon M \to K$
and
$g \colon N \to K$
with
$f(b) = g(c)$
. We have from Proposition 7.2 that
$M = \operatorname {\mathrm {acl}} c$
and similarly, as
$N \models T$
, N is also pseudo-connected, so
$N = \operatorname {\mathrm {acl}} b$
. By [Reference Ben Yaacov, Berenstein and Henson6, Corollary 10.5], we have that
$$ \begin{align*} f(M) = \operatorname{\mathrm{acl}} f(b) = \operatorname{\mathrm{acl}} g(c) = g(N), \end{align*} $$
so
$g^{-1} \circ f$
is an isomorphism
$M \to N$
sending b to c.
Corollary 7.4 (cf. [Reference Henson18, Theorem 5.7]).
Let L be a signature, let
$\mathcal {F}$
be a fragment of
$\mathcal {L}_{\omega _1\omega }(L)$
, and let T be an
$\mathcal {F}$
-theory such that all models of T are pseudo-connected. Let c be a constant symbol that does not appear in L. Let
$T'$
be the theory T considered in the expanded language
$L \cup \{ c \}$
. Then the equivalence relation of isomorphism on
$\operatorname {\mathrm {Mod}}(T')$
is smooth.
The next result is a generalization of a theorem of Hjorth [Reference Henson18, Theorem 7.1].
Corollary 7.5. Let T be a theory such that all of its models are pseudo-connected. Then
$\cong _T$
is essentially countable.
Remark 7.6. Corollary 7.5 also holds if one replaces “are pseudo-connected” with “have finitely many pseudo-components.” Indeed, if
$C_1, \ldots , C_n$
are the pseudo-components of a structure M, then
$\prod _i C_i$
is open in
$M^n$
and for every
$\bar a \in \prod _i C_i$
, we have that
$M = \operatorname {\mathrm {acl}} \bar a$
, so the same argument works.
As another application of the results from the previous section, we present a new proof of a theorem of Kechris from [Reference Kechris28], stating that orbit equivalence relations induced by continuous actions of locally compact Polish groups are essentially countable. First, we need a way of encoding group actions as metric structures.
Let Z be a compact metrizable space and let
$G \leq \operatorname {\mathrm {Homeo}}(Z)$
be a closed, CLI subgroup. (Recall that a Polish group is CLI if its left uniformity is complete iff its right uniformity is complete. All Polish locally compact groups are CLI.) Denote by
$\alpha $
the action
$G \curvearrowright Z$
. We will reduce the orbit equivalence relation
$E_\alpha $
to isomorphism of metric structures with underlying space
$(G, d)$
, where d is a fixed, right-invariant, compatible metric on G.
Define the metric
$d_u$
on
$\operatorname {\mathrm {Homeo}}(Z)$
by
$$ \begin{align} d_u(h_1, h_2) = \sup \{ \delta(h_1 \cdot z, h_2 \cdot z) : z \in Z \}, \end{align} $$
where
$\delta $
is some fixed compatible metric on Z bounded by
$1$
. Note that
$d_u$
restricts to a compatible, right-invariant metric on G and therefore the metrics
$d_u$
and d are uniformly equivalent.
Let
$\{ z_i \}_{i \in {\mathbf N}}$
be a dense sequence in Z. Let
$\Delta $
be a modulus of continuity such that every unary predicate on G which is
$1$
-Lipschitz with respect to
$d_u$
respects
$\Delta $
with respect to d. Let L be the language consisting of the metric d and the unary predicates
$\{ P_i \}_{i \in {\mathbf N}}$
respecting
$\Delta $
. Let T be the theory consisting of the Scott sentence of the metric space
$(G, d)$
. For each
$z \in Z$
, define an L-structure
$M(z)$
with universe
$(G, d)$
and predicates defined on G by
$$ \begin{align*} P_i^z(h) = \delta(h \cdot z, z_i). \end{align*} $$
As each
$P_i^z$
is
$1$
-Lipschitz with respect to
$d_u$
, it respects
$\Delta $
, so
$M(z)$
is a valid L-structure which is also a model of T. Also, the predicates
$P_i^z$
code z uniquely: if
$P_i^z(1_G) = P_i^{z'}(1_G)$
for all i, then
$z = z'$
.
Proposition 7.7. The map
$Z \to \operatorname {\mathrm {Mod}}(T)$
given by
$z \mapsto M(z)$
is a Borel reduction from
$E_\alpha $
to isomorphism of models of T.
Proof One easily checks that the map
$G \to G$
,
$h \mapsto hg$
is an isomorphism
$M(z) \to M(g \cdot z)$
.
Conversely, suppose that
$f \colon M(z) \to M(z')$
is an isomorphism and let
$h_0 = f(1_G)$
. Then
$$ \begin{align*} P_i^z(1_G) = P_i^{z'}(h_0) = P_i^{h_0 \cdot z'}(1_G) \quad \text{ for all } i, \end{align*} $$
whence
$z = h_0 \cdot z'$
.
Corollary 7.8 [Reference Kechris28].
Let
$G \curvearrowright X$
be a Borel action of a locally compact Polish group G on a Polish space X. Then its orbit equivalence relation is essentially countable.
Proof Let
$F(G)$
denote the space of closed subsets of G. It carries a compact Polish topology with basic open sets of the form
$$ \begin{align*} \{ F \in F(G) : F \cap U_1 \neq \emptyset, \ldots, F \cap U_n \neq \emptyset, F \cap K = \emptyset \}, \end{align*} $$
where
$U_1, \ldots , U_n \subseteq G$
are open and
$K \subseteq G$
is compact. There is a natural action
$G \curvearrowright F(G)$
by left translation and it is well-known that the action
$G \curvearrowright F(G)^{\mathbf N}$
is universal for Borel actions of G [Reference Ben Yaacov and Iovino2, Theorem 2.6.1]. Thus it suffices to prove that the orbit equivalence relation of this action is essentially countable.
Let
$d'$
be any proper, right-invariant, compatible metric on G (see [Reference Struble33]) and let
$d = d'/(1+d')$
, so that d is right-invariant and
$(G, d)$
is pseudo-connected and bounded. The action
$G \curvearrowright F(G)^{\mathbf N}$
gives an embedding of G as a closed subgroup of
$\operatorname {\mathrm {Homeo}}(F(G)^{\mathbf N})$
. Let the language L and the theory T be defined as in the discussion preceding Proposition 7.7. By Proposition 7.7, the orbit equivalence relation of the action
$G \curvearrowright F(G)^{\mathbf N}$
is Borel reducible to isomorphism of models of T. As T contains the Scott sentence of
$(G, d)$
, all models of T are pseudo-connected, so we can apply Corollary 7.5 to deduce that
$\cong _T$
is an essentially countable equivalence relation. This concludes the proof.
Acknowledgments
We would like to thank Itaï Ben Yaacov and Michal Doucha for useful discussions and Ward Henson for providing references concerning the model theory of Banach spaces. We are also grateful to the anonymous referee for a careful reading of the paper, useful suggestions, and providing a reference. Research on this paper was partially supported by the ANR project AGRUME (ANR-17-CE40-0026) and the Investissements d’Avenir program of Université de Lyon (ANR-16-IDEX-0005).
