$\Sigma_1$-Stationary logic as an $\aleph_1$-Abstract Elementary Class
Logic
2026-04-29 v2
Abstract
-Abstract Elementary Classes are a model theoretic framework introduced in [BGL+16] to encompass classes axiomatized by . We show that the framework extends beyond these logics by showing classes axiomatized in with just the quantifier are an -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}
}