Source author record

Ioannis Souldatos

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.LO math.GN math.GM

Catalog footprint

Research overview

9works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

A Lower Bound for the Hanf Number for Joint Embedding

In [13] the authors show that if $μ$ is a strongly compact cardinal, $K$ is an Abstract Elementary Class (AEC) with $LS(K)<μ$ , and $K$ satisfies joint embedding (amalgamation) cofinally below $μ$ , then $K$ satisfies joint embedding (amalgamation) in all cardinals $\ge μ$ . The question was raised if the strongly compact upper bound was optimal. In this paper we prove the existence of an AEC $K$ that can be axiomatized by an $\mathcal{L}_{ω_1,ω}$ -sentence in a countable vocabulary, so that if $μ$ is the first measurable cardinal, then (1) $K$ satisfies joint embedding cofinally below $μ$ ; (2) $K$ fails joint embedding cofinally below $μ$ ; and (3) $K$ satisfies joint embedding above $μ$ . Moreover, the example can be generalized to an AEC $K^χ$ axiomatized in $\mathcal{L}_{χ^+, ω}$ , in a vocabulary of size $χ$ , such that (1)-(3) hold with $μ$ being the first measurable above $χ$ . This proves that the Hanf number for joint embedding is contained in the interval between the first measurable and the first strongly compact. Since these two cardinals can consistently coincide, the upper bound from [13] is consistently optimal. This is also the first example of a sentence whose joint embedding spectrum is (consistently) neither an initial nor an eventual interval of cardinals. By Theorem 3.26, it is consistent that for any club $C$ on the first measurable $μ$ , JEP holds exactly on $\lim C$ and everywhere above $μ$ .

preprint2020arXiv

Kurepa trees and spectra of $\mathcal{L}_{ω_1,ω}$ -sentences

We use set-theoretic tools to make a model-theoretic contribution. In particular, we construct a \emph{single} $\mathcal{L}_{ω_1,ω}$ -sentence $ψ$ that codes Kurepa trees to prove the consistency of the following: (1) The spectrum of $ψ$ is consistently equal to $[\aleph_0,\aleph_{ω_1}]$ and also consistently equal to $[\aleph_0,2^{\aleph_1})$ , where $2^{\aleph_1}$ is weakly inaccessible. (2) The amalgamation spectrum of $ψ$ is consistently equal to $[\aleph_1,\aleph_{ω_1}]$ and $[\aleph_1,2^{\aleph_1})$ , where again $2^{\aleph_1}$ is weakly inaccessible. This is the first example of an $\mathcal{L}_{ω_1,ω}$ -sentence whose spectrum and amalgamation spectrum are consistently both right-open and right-closed. It also provides a positive answer to a question in [18]. (3) Consistently, $ψ$ has maximal models in finite, countable, and uncountable many cardinalities. This complements the examples given in [1] and [2] of sentences with maximal models in countably many cardinalities. (4) $2^{\aleph_0}<\aleph_{ω_1}<2^{\aleph_1}$ and there exists an $\mathcal{L}_{ω_1,ω}$ -sentence with models in $\aleph_{ω_1}$ , but no models in $2^{\aleph_1}$ . This relates to a conjecture by Shelah that if $\aleph_{ω_1}<2^{\aleph_0}$ , then any $\mathcal{L}_{ω_1,ω}$ -sentence with a model of size $\aleph_{ω_1}$ also has a model of size $2^{\aleph_0}$ . Our result proves that $2^{\aleph_0}$ can not be replaced by $2^{\aleph_1}$ , even if $2^{\aleph_0}<\aleph_{ω_1}$ .

preprint2016arXiv

Hanf Number for Scott Sentences of Computable Structures

The Hanf number for a set $S$ of sentences in $L_{ω_1,ω}$ (or some other logic) is the least infinite cardinal $κ$ such that for all $φ\in S$ , if $φ$ has models in all infinite cardinalities less than $κ$ , then it has models of all infinite cardinalities. S-D. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is $\beth_{ω_1^{CK}}$ . The same argument proves that $\beth_{ω_1^{CK}}$ is the Hanf number for Scott sentences of hyperarithmetical structures.

preprint2015arXiv

On automorphisms groups of structures of countable cofinality

In [2] Su Gao proves that the following are equivalent for a countable $M$ (cf. theorem 1.2 too): (I)There is an uncountable model of the Scott sentence of $M$ . (II) There exists some $j\in \overline{Aut(M)}\setminus Aut(M)$ , where $\overline{Aut(M)}$ is the closure of $Aut(M)$ under the product topology in $ω^ω$ . (III) There is an $L_{ω_1,ω}$ - elementary embedding $j$ from $M$ to itself such that $range(j)\subset M$ . We generalize his theorem to all cardinals $κ$ of of cofinality $ω$ (cf. theorem 4.2). The following are equivalent: (I $^*$ ) There is a model of the Scott sentence of $M$ of size $κ^+$ . (II $^*$ ) For all $α<β<κ^+$ , there exist functions $j_{β,α}$ in $\overline{Aut(M)}^{T}\setminus Aut(M)$ , such that for $α< β<γ<κ^+$ , \begin{equation}(*) j_{γ,β}\circ j_{β,α}=j_{γ,α},\end{equation} where $\overline{Aut(M)}^{T}$ is the closure of $Aut(M)$ under the product topology in $κ^κ$ . (III $^*$ ) For every $β<κ^+$ , there exist $L_{\infty,κ}^{fin}$ - elementary embeddings (cf. definition 2.5) $(j_α)_{α<β}$ from $M$ to itself such that $α_1<α_2\Rightarrow range(j_{α_1})\subset range(j_{α_2})$ . Theorem 4.2 holds both for countable and uncountable $κ$ . Condition (*) in (II $^*$ ), which does not appear in the countable case, can not be removed when $κ$ is uncountable (cf. theorem 4.5). Condition (II $^*$ ) imply the existence of at least $κ^ω$ automorphisms of $M$ (cf. corollary 4.6). It is unknown to the author whether a purely topological proof of corollary 4.6 exists.

preprint2015arXiv

The Joint Embedding Property and Maximal Models

We introduce the notion of a `pure` Abstract Elementary Class to block trivial counterexamples. We study classes of models of bipartite graphs and show: Main Theorem (cf. Theorem 3.5.2 and Corollary 3.5.6): If $(λ_i : i \le α<\aleph_1)$ is a strictly increasing sequence of characterizable cardinals (Definition 2.1) whose models satisfy JEP $(<λ_0)$ , there is an $L_{ω_1,ω}$ -sentence $ψ$ whose models form a pure AEC and (1) The models of $ψ$ satisfy JEP $(<λ_0)$ , while JEP fails for all larger cardinals and AP fails in all infinite cardinals. (2) There exist $2^{λ_i^+}$ non-isomorphic maximal models of $ψ$ in $λ_i^+$ , for all $i \le α$ , but no maximal models in any other cardinality; and (3) $ψ$ has arbitrarily large models. In particular this shows the Hanf number for JEP and the Hanf number for maximality for pure AEC with Lowenheim number $\aleph_0$ are at least $\beth_{ω_1}$ . We show that although AP $(κ)$ for each $κ$ implies the full amalgamation property, JEP $(κ)$ for each κdoes not imply the full joint embedding property. We show the main combinatorial device of this paper cannot be used to extend the main theorem to a complete sentence.

preprint2012arXiv

Notes on cardinals that are characterizable by a complete (Scott) sentence

This is part I of a study on cardinals that are characterizable by Scott sentences. Building on [3], [6] and [1] we study which cardinals are characterizable by a Scott sentence $ϕ$ , in the sense that $ϕ$ characterizes $κ$ , if $ϕ$ has a model of size $κ$ , but no models of size $κ^+$ . We show that the set of cardinals that are characterized by a Scott sentence is closed under successors, countable unions and countable products (cf. theorems 2.3, 3.4, and corollary 3.6). We also prove that if $\aleph_α$ is characterized by a Scott sentence, at least one of $\aleph_alpha$ and $\aleph_alpha^+$ is homogeneously characterizable (cf. definition 1.3 and theorem 2.9). Based on Shelah's [8], we give counterexamples that characterizable cardinals are not closed under predecessors, or cofinalities.

preprint2011arXiv

Every set of first-order formulas is equivalent to an independent set

A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent set.

preprint2010arXiv

Independently Axiomatizable L_{omega_1,omega} Theories

In partial answer to a question posed by Arnie Miller (http://www.math.wisc.edu/~miller/res/problem.pdf) and X. Caicedo, we obtain sufficient conditions for an L_{omega_1,omega} theory to have an independent axiomatization. As a consequence we obtain two corollaries: The first, assuming Vaught's Conjecture, every L_{omega_1,omega} theory in a countable language has an independent axiomatization. The second, this time outright in ZFC, every intersection of a family of Borel sets can be formed as the intersection of a family of independent Borel sets.

preprint2010arXiv

Linear Orderings and Powers of Characterizable Cardinal

The current paper answers an open question of abs/1007.2426 We say that a countable model M characterizes an infinite cardinal kappa, if the Scott sentence of M has a model in cardinality kappa, but no models in cardinality kappa plus. If M is linearly ordered by <, we will say that the linear ordering (M,<) characterizes kappa. It is known that if kappa is characterizable, then kappa plus is characterizable by a linear ordering. Also, if kappa is characterizable by a dense linear ordering with an increasing sequence of size kappa, then 2^kappa is characterizable. We show that if kappa is homogeneously characterizable, then kappa is characterizable by a dense linear ordering, while the converse fails. The main theorems are: 1) If kappa>2^lambda is a characterizable cardinal, lambda is characterizable by a dense linear ordering and lambda is the least cardinal such that kappa^lambda>kappa, then kappa^lambda is also characterizable, 2) if aleph_alpha and kappa^(aleph_alpha) are characterizable cardinals, then the same is true for kappa^(aleph_(alpha+beta)), for all countable beta. Combining these two theorems we get that if kappa>2^(aleph_alpha) is a characterizable cardinal, aleph_alpha is characterizable by a dense linear ordering and aleph_alpha is the least cardinal such that kappa^(aleph_alpha)>kappa, then for all beta<alpha+omega_1, kappa^(aleph_beta) is characterizable. Also if kappa is a characterizable cardinal, then kappa^(aleph_alpha) is characterizable, for all countable alpha.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Ioannis Souldatos

Research overview

Is this your work?

9 publications

A Lower Bound for the Hanf Number for Joint Embedding

Kurepa trees and spectra of $\mathcal{L}_{ω_1,ω}$ -sentences

Hanf Number for Scott Sentences of Computable Structures

On automorphisms groups of structures of countable cofinality

The Joint Embedding Property and Maximal Models

Notes on cardinals that are characterizable by a complete (Scott) sentence

Every set of first-order formulas is equivalent to an independent set

Independently Axiomatizable L_{omega_1,omega} Theories

Linear Orderings and Powers of Characterizable Cardinal

See the researcher in context

Building this map preview

Ioannis Souldatos

Research overview

Is this your work?

9 publications

A Lower Bound for the Hanf Number for Joint Embedding

Kurepa trees and spectra of Lω1,ω\mathcal{L}_{ω_1,ω}Lω1​,ω​-sentences

Hanf Number for Scott Sentences of Computable Structures

On automorphisms groups of structures of countable cofinality

The Joint Embedding Property and Maximal Models

Notes on cardinals that are characterizable by a complete (Scott) sentence

Every set of first-order formulas is equivalent to an independent set

Independently Axiomatizable L_{omega_1,omega} Theories

Linear Orderings and Powers of Characterizable Cardinal

See the researcher in context

Building this map preview

Kurepa trees and spectra of $\mathcal{L}_{ω_1,ω}$ -sentences