Sigma₁-Stationary logic as an aleph₁-Abstract Elementary Class
Pith reviewed 2026-05-23 18:40 UTC · model grok-4.3
The pith
Classes axiomatized in L(aa) using only the aa quantifier form an ℵ₁-Abstract Elementary Class.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any class of structures axiomatized by a sentence in L(aa) that uses only the aa quantifier satisfies the definition of an ℵ₁-Abstract Elementary Class, including the Löwenheim-Skolem property at ℵ₁, coherence under submodels, and closure under directed unions of length at least ℵ₁.
What carries the argument
The aa quantifier, which expresses that a predicate holds on a stationary set with respect to the club filter, and the direct transfer of μ-AEC axioms to the resulting model classes.
If this is right
- The Löwenheim-Skolem number of any such class is at most ℵ₁.
- These classes inherit the standard closure and chain properties built into the μ-AEC definition.
- General results proved for μ-AECs now apply verbatim to the models of these L(aa) sentences.
- The framework can absorb additional logics beyond L_{∞,∞} while keeping the same abstract axioms.
Where Pith is reading between the lines
- One could test whether fragments that mix aa with other quantifiers also satisfy the AEC axioms.
- The same transfer technique might apply to related stationary logics or to classes defined by Σ₁ formulas over stationary sets.
- Results on stability or categoricity in AECs could now be checked inside these stationary-logic classes.
Load-bearing premise
The μ-AEC definitions and closure properties apply to L(aa) classes using only the aa quantifier without any further restrictions or modifications.
What would settle it
Exhibit a sentence using only the aa quantifier whose class of models fails to be closed under directed unions of length ℵ₁ or violates the coherence condition for submodels.
read the original abstract
$\mu$-Abstract Elementary Classes are a model theoretic framework introduced in [BGL+16] to encompass classes axiomatized by $\mathbb{L}_{\infty, \infty}$. We show that the framework extends beyond these logics by showing classes axiomatized in $\mathbb{L}(aa)$ with just the $aa$ quantifier are an $\aleph_1$-Abstract Elementary Class.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that classes of models axiomatized by a sentence in the fragment of L(aa) using only the aa quantifier form an ℵ₁-Abstract Elementary Class in the sense of the μ-AEC framework from [BGL+16], thereby extending that framework beyond logics axiomatized in L_{∞,∞}.
Significance. If the central claim holds, the result would enlarge the scope of μ-AECs to include a fragment of stationary logic, potentially allowing the transfer of AEC-style tools (such as Galois types or stability notions) to this setting. The manuscript does not supply machine-checked proofs, reproducible code, or explicit falsifiable predictions.
major comments (2)
- The manuscript consists solely of the abstract; no definitions of the relevant fragment of L(aa), no statement of the μ-AEC axioms from [BGL+16], and no argument establishing closure under ℵ₁-directed unions (or any other μ-AEC property) are supplied. Consequently the central claim cannot be verified.
- The skeptic note correctly identifies that satisfaction of an aa-sentence is witnessed by stationary sets with respect to the club filter on [M]^ω; the abstract gives no indication that the authors have verified that if each M_i ⊨ φ then the union M = ∪ M_i also satisfies φ, i.e., that stationary witnesses lift along ℵ₁-directed chains without additional set-theoretic hypotheses.
Simulated Author's Rebuttal
We thank the referee for the report and for identifying points where the current short note requires expansion for clarity and verifiability. We address each major comment below and will revise the manuscript accordingly.
read point-by-point responses
-
Referee: The manuscript consists solely of the abstract; no definitions of the relevant fragment of L(aa), no statement of the μ-AEC axioms from [BGL+16], and no argument establishing closure under ℵ₁-directed unions (or any other μ-AEC property) are supplied. Consequently the central claim cannot be verified.
Authors: We agree that the present version is extremely concise and does not supply the requested definitions or explicit argument. The revised manuscript will include the definition of the Σ₁-fragment of L(aa), a statement of the relevant μ-AEC axioms from [BGL+16], and the detailed verification of all μ-AEC properties, including closure under ℵ₁-directed unions. revision: yes
-
Referee: The skeptic note correctly identifies that satisfaction of an aa-sentence is witnessed by stationary sets with respect to the club filter on [M]^ω; the abstract gives no indication that the authors have verified that if each M_i ⊨ φ then the union M = ∪ M_i also satisfies φ, i.e., that stationary witnesses lift along ℵ₁-directed chains without additional set-theoretic hypotheses.
Authors: The lifting of stationary witnesses along ℵ₁-directed chains is established in the argument using only the standard properties of the club filter (in particular, that the club filter is normal and that intersections of <ℵ₁ many clubs remain clubs). No additional set-theoretic assumptions are used. We will make this verification explicit, including the relevant combinatorial details, in the expanded manuscript. revision: yes
Circularity Check
No significant circularity; derivation applies external framework to new logic
full rationale
The paper defines its central claim as an application of the μ-AEC axioms from the external reference [BGL+16] to the class of models of an L(aa) sentence using only the aa quantifier. No step in the provided abstract or reader's summary reduces a prediction or uniqueness claim to a fitted parameter, self-definition, or unverified self-citation chain; the framework is treated as given and the paper asserts an extension beyond L_{∞,∞}. The self-citation is for the background definition rather than a load-bearing uniqueness theorem or ansatz that forces the result. This is the common case of an independent extension of prior work.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Standard ZFC set theory and model-theoretic definitions of logics and classes
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.