English

Canonical quotients in model theory

Logic 2024-12-20 v1

Abstract

We study canonical quotients in model theory, mainly stable quotients of type-definable groups and invariant types in NIP theories. We extend the modelling property to continuous theories and use it to study nn-dependence in hyperdefinable sets. Furthermore, we study maximal WAP and tame quotients of SX(C)S_X(\mathfrak{C}), where C\mathfrak{C} is a monster model of a complete theory TT and XX is an \emptyset-type-definable set and show that the Ellis groups of the maximal WAP quotient flow and the maximal tame quotient flow do not depend on the choice of the monster model C\mathfrak{C}.

Cite

@article{arxiv.2412.14862,
  title  = {Canonical quotients in model theory},
  author = {Adrián Portillo Fernández},
  journal= {arXiv preprint arXiv:2412.14862},
  year   = {2024}
}

Comments

PhD thesis

R2 v1 2026-06-28T20:42:15.301Z