English

Models of an Abstract Elementary Class as a Generalized Polish Space

Logic 2025-03-31 v1

Abstract

In first order logic, it is known that you can define a topology so that the countable models of some theory TT form a Polish Space (i.e. completely metrizable second countable space). In this paper we use the Baldwin- Boney Relational Presentation Theorem (from [3]; cf. 2.3) to generalize this result to the models of an Abstract Elementary Class (AEC). More specifically, we define a topology on the models of an AEC of size λκ\lambda \geq \kappa, where κ\kappa is the Lo¨\ddot{o}wenheim-Skolem number and λ\lambda has to satisfy a set-theoretic assumption (see Section 4) and prove that these models form a Generalized Polish Space (i.e. a generalization of Polish Spaces i.e. completely GG-metrizable space with weight κ\leq \kappa).

Keywords

Cite

@article{arxiv.2503.22287,
  title  = {Models of an Abstract Elementary Class as a Generalized Polish Space},
  author = {Georgios Marangelis},
  journal= {arXiv preprint arXiv:2503.22287},
  year   = {2025}
}

Comments

15 pages

R2 v1 2026-06-28T22:37:50.616Z