English

$\Sigma_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class

Logic 2026-04-29 v2

Abstract

μ\mu-Abstract Elementary Classes are a model theoretic framework introduced in [BGL+16] to encompass classes axiomatized by L,\mathbb{L}_{\infty, \infty}. We show that the framework extends beyond these logics by showing classes axiomatized in L(aa)\mathbb{L}(aa) with just the aaaa quantifier are an 1\aleph_1-Abstract Elementary Class.

Cite

@article{arxiv.2410.23967,
  title  = {$\Sigma_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class},
  author = {Will Boney},
  journal= {arXiv preprint arXiv:2410.23967},
  year   = {2026}
}
R2 v1 2026-06-28T19:42:56.899Z