REVIEW 1 major objections 5 minor 16 references
Saturated Free Algebras and Almost Indiscernible Theories
T0 review · 1 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Almost indiscernible theories are superstable and nonmultidimensional, and their large models decompose into independent weight-one pieces over a fixed base; saturated free modules are classified by a ring-theoretic condition.
desk verdict Extends almost-indiscernible theories to uncountable languages with a clean module classification, but one key model-generation assertion in Proposition 2.9 is unproved as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the almost indiscernible theory: $T$ is $p(\mu,\tau^+)$-almost indiscernible when some saturated model $M$ is contained in the algebraic closure of an indiscernible set $I$ of $\mu$-sequences. The proofs work through the chain $M_\lambda$ obtained as the algebraic closure of the first $\lambda$ many indiscernibles, showing each $M_\lambda$ is saturated and then counting types over $M_\lambda$ to obtain stability. The structural step uses the forking calculus: a-models (models realizing every strong type over every finite subset), a-prime models over parameter sets, domination, weight-one types, and nonorthogonality classes convert the original indiscernibles into an independent set of weight-one tuples. A type has weight one when it cannot fork with two independent tuples. For modules, the extra machinery is the decomposition of pure-injective models into indecomposable direct summands, which makes algebraic closure correspond to direct-sum generation.
What would settle it
Exhibit a $p(\mu,\tau^+)$-almost indiscernible theory with a model $M\supseteq M_{\bar\mu}$ whose elements are not all algebraic over $M_{\bar\mu}\cup D$ for any $M_{\bar\mu}$-independent set $D$ of weight-one tuples; that would refute Theorem 2.10. Alternatively, find a left perfect and right coherent ring whose free left module on $|R|^+$ generators is not $\tau^+$-saturated, which would refute Theorem 3.15.
Extended reading notes
Core claim
On the paper's own terms, the central claim is that $p(\mu,\tau^+)$-almost indiscernible theories form a very tame class: by Theorem 2.4 they are stable in all cardinals $\lambda\ge\tau$, hence superstable, and by Proposition 2.6 they are nonmultidimensional. Theorem 2.10 then gives the structure theorem: if $M_{\bar\mu}$ is the model obtained from the first $\bar\mu$ indiscernibles, every model $M\supseteq M_{\bar\mu}$ is the algebraic closure of $M_{\bar\mu}\cup D$ for some $M_{\bar\mu}$-independent set $D$ of tuples whose types over $M_{\bar\mu}$ have weight one. In the module setting the paper proves the sharp converse direction: a complete theory of modules is almost indiscernible if and only if it is superstable with $\lambda(T)=|T|$ (Corollary 2.18), and the free left module $R^{(\tau^+)}$ is $\tau^+$-saturated if and only if $R$ is left perfect and right coherent (Theorem 3.15).
Load-bearing premise
The main structure theorem assumes the standard stability-theoretic facts that a-prime models exist over every parameter set, that superstable theories have saturated models in all sufficiently large cardinals, and that elementary extensions of a-models are again a-models; if any of these background facts fails in uncountable languages or with infinite tuples, Theorem 2.10 does not follow.
Editorial extensions
If this is right
- Every $p(\mu,\tau^+)$-almost indiscernible theory is superstable and stable in all cardinals at least $|T|$, so almost indiscernibility is a strong stability-theoretic tameness condition.
- Every such theory is nonmultidimensional: all stationary types are nonorthogonal to the single average type of the indiscernible sequence, so the theory has only one dimension up to nonorthogonality.
- The structure theorem gives a normal form for large models: any model containing $M_{\bar\mu}$ is the algebraic closure of $M_{\bar\mu}$ plus an independent set of weight-one tuples, and consequently models are determined by how many copies of each weight-one class they contain.
- In the free-module case, saturation of the free left module on $|R|^+$ generators is equivalent to $R$ being left perfect and right coherent, so the class of projective left $R$-modules is elementary exactly in that case.
- A saturated free module can have infinite Morley rank, so total transcendence does not force finite Morley rank; the earlier conjecture that saturated free algebras have finite Morley rank is false in general.
Reading between the lines
- Extending beyond the paper: the structure theorem suggests that almost indiscernible theories behave like unidimensional theories with an infinite-tuple generic type, and one could test whether every model prime over an independent set of hulls is determined by the cardinalities of the nonorthogonality classes, in direct analogy to uncountably categorical theories.
- Extending beyond the paper: the paper leaves open whether large saturated free algebras in arbitrary varieties are totally transcendental; a natural conjecture suggested by its module results is that this holds exactly when the type of a basic element has maximal rank among all types.
- Extending beyond the paper: because the counterexample's Morley rank is infinite, the right invariant for saturated free modules is likely the lattice of pp-definable subgroups rather than Morley rank; if so, the ring-theoretic classification in Theorem 3.15 might generalize to broader classes of algebras via definable-subgroup lattices.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper generalizes the notion of 'almost indiscernible theory' of Pillay and Sklinos from countable languages and finite tuples to an arbitrary complete theory T in a language of size τ, requiring a saturated model to lie in the algebraic closure of an indiscernible set of µ-tuples. Under this hypothesis the paper proves that T is stable in every cardinal λ ≥ τ (Theorem 2.4), hence superstable, and nonmultidimensional (Proposition 2.6). The main structural result, Theorem 2.10, states that every model containing the initial segment Mbar_mu is the algebraic closure of Mbar_mu together with an independent set of realizations of weight-one types. The paper then specializes to modules: Theorem 2.17 and Corollary 2.18 characterize almost indiscernible theories of modules as superstable theories with λ(T) = |T|. In the free-algebra part, Theorem 3.15 characterizes the rings R for which the free left R-module on |R|^+ generators is saturated as the left perfect, right coherent rings, and Example 3.16 gives a saturated free module of infinite Morley rank, answering a question from Pillay-Sklinos.
Significance. If the structural results are correct, the paper substantially extends the Baldwin-Shelah and Pillay-Sklinos framework to uncountable languages and infinite tuples, with clean consequences for modules and a classification theorem for saturated free modules. The main theorems are proved in detail, the dependence on background stability facts from Pillay, Baldwin, and Prest is transparent, and the module section contains a concrete, falsifiable ring-theoretic characterization as well as a counterexample to a published question. The primary obstacle is a proof gap in Proposition 2.9; once that is repaired, the paper would be a strong contribution.
major comments (1)
- [§2.2, Proposition 2.9] The assertion in the first paragraph of the proof that "M' = acl(Mbar_mu ∪ D) is a model" is not justified by the cited stability facts. In a general superstable nonmultidimensional theory, the algebraic closure of an a-model together with an independent set of realizations of a regular type need not be a model; an equivalence relation with infinite classes is a counterexample. The conclusion is special to the almost-indiscernible setting, where p is the average type of the indiscernible sequence and every initial segment M_lambda is a model. The proof should add the missing step: any Mbar_mu-independent set D of realizations of p with |D| ≤ bar_mu has the same type over Mbar_mu as an initial segment of <e_alpha>, so acl(Mbar_mu ∪ D) is isomorphic to some M_lambda and is therefore a model by Theorem 2.2(b). Until this is supplied, Proposition 2.9 and the structure theorem 2.10 that depends on it are not fully proved.
minor comments (5)
- [§2.1, Theorem 2.2(b)] The proof contains a case "assume that λ > κ", which is incompatible with the theorem's hypothesis λ ≤ κ; please correct the intended case distinction.
- [§2.1, Theorem 2.4] The line "there are no more than µ^λ = λ 1-types" uses invalid cardinal arithmetic (for example, when µ = 2 and λ = ω). The preceding counting gives at most λ · µ = λ types, so the displayed equality should be fixed.
- [§2.2, Proposition 2.9] The parenthetical "(and therefore < bar_mu)" after "a subset A of Mbar_mu of cardinality ≤ τ" is not generally valid, since τ may be ≥ bar_mu. If the intended bound is |A| < bar_mu, the argument needs a different cardinality estimate.
- [§2.2, Theorem 2.10] The application of Proposition 2.9 to arbitrary c in I^2_q is implicit: the proposition as stated treats the specific tuple ebar_mu, while the theorem needs a version for any realization of the types in Q. A one-sentence homogeneity argument showing that such a c has the same type over Mbar_mu as its representative in C would make the step explicit.
- [Abstract / §3.2] The abstract calls Example 3.16 a "counterexample to a conjecture" while the body calls it a counterexample to a question ([11, Question 3.14]); please align the terminology.
Circularity Check
No significant circularity: almost-indiscernibility is an input, and the stability, nonmultidimensionality, structure, and module-classification results are derived consequences; reliance on prior stability theory is transparent, not load-bearing.
full rationale
The definition of (mu,kappa)-almost indiscernible (Def. 1.1) supplies, as an input, a saturated model M_kappa with M_kappa = acl(I). The later results are not this input renamed: Theorem 2.2 derives saturation of each M_lambda from the given saturation of M_kappa via indiscernibility; Theorem 2.4 counts types over M_lambda to conclude stability in all cardinals lambda >= tau; Proposition 2.6 uses saturation to prove nonmultidimensionality; Theorem 2.10 then constructs an independent set D from the average type p. The type p is defined from I in Def. 2.5, but D is an output of Prop. 2.9, not a fitted parameter, and no quantity is fitted to a subset of data and then "predicted". The paper's citations to Pillay [7] and Baldwin [2] for Fact 1.5, Fact 1.7, and some module facts are standard textbook results whose assumptions do not include the target theorem; Proposition 1.10 is proved in the paper. Theorem 3.15 is a genuine two-way classification resting on Prest and on Sabbagh-Eklof/Chase, not on its own conclusion. I flag one omitted justification, which is a correctness gap rather than circularity: in Proposition 2.9 the line "But then D is an independent set of realizations of p and so M' = acl(M_bar_mu union D) is a model: an elementary extension of M_bar_mu" is asserted without proof; a rigorous proof would need to show that the independent set D of realizations of the stationary average type p over M_bar_mu has the same type over M_bar_mu as an initial segment of the indiscernible sequence, so that model-hood transfers from Theorem 2.2(b). This gap does not make the derivation circular, because the assertion is not an input and the paper does not reduce the theorem to it by definition. Similarly, the use in Theorem 3.15 of the fact that elementary extensions of kappa-saturated models are kappa-saturated in tt nonmultidimensional theories is cited implicitly rather than proved; again this is a missing detail, not a circular step.
Assumptions & free parameters
assumptions (5)
- standard math Superstable theories admit saturated models in all cardinals kappa >= lambda(T), and every type does not fork over a finite set (kappa(T)=aleph_0).
- standard math For any set A there is an a-prime model over A, and a type is a-isolated iff A dominates Ab over an a-model M0 (Fact 1.7).
- standard math Elementary extensions of a-models are a-models in superstable nonmultidimensional theories (Proposition 1.10).
- domain assumption For a superstable theory of modules, a-models are pure-injective, and if M < N then N/M is totally transcendental and decomposes as a direct sum of indecomposables (Prest [12], Ziegler).
- domain assumption A ring R is left perfect and right coherent iff the class of projective left R-modules is elementary (Sabbagh-Eklof, Prest [12, Theorem 14.25]).
Cite this review
Pith. "Pith review of Saturated Free Algebras and Almost Indiscernible Theories." pith.science (2026). https://pith.science/paper/XB4RYRUI
@misc{pith2026190802712,
author = {Pith},
title = {Pith review of: Saturated Free Algebras and Almost Indiscernible Theories},
year = {2026},
howpublished = {\url{https://pith.science/paper/XB4RYRUI}},
note = {Machine review of arXiv:1908.02712}
}
abstract
We extend the concept of "almost indiscernible theory" introduced by Pillay and Sklinos in [Bull. Symb. Log., 2015] (which was itself a modernization and expansion of Baldwin and Shelah [Algebra Universalis, 1983]), to uncountable languages and uncountable parameter sequences. Roughly speaking a theory $T$ is almost indiscernible if some saturated model is in the algebraic closure of an indiscernible set of sequences. We show that such a theory $T$ is nonmultidimensional, superstable, and stable in all cardinals $\ge |T |$ . We prove a structure theorem for sufficiently large $a$-models $M$: Theorem 2.10 which states that over a suitable base, $M$ is in the algebraic closure of an independent set of realizations of weight one types (in possibly infinitely many variables). We also explore further the saturated free algebras of Baldwin and Shelah in both the countable and uncountable context. We study in particular theories and varieties of $R$-modules, characterizing those rings $R$ for which the free $R$-module on $|R|^+$ generators is saturated (Theorem 3.15), and pointing out a counterexample to a conjecture from Pillay-Sklinos (Example 3.16).
Reference graph
Works this paper leans on
-
[11]
Saturated free algebras revisited
Anand Pillay and Rizos Sklinos. Saturated free algebras revisited . Bull. Symb. Log. , 21(3):306–318, 2015
work page 2015
-
[1]
J. T. Baldwin and S. Shelah. The structure of saturated free alg ebras. Algebra Univer- salis, 17(2):191–199, 1983
work page 1983
-
[2]
John T. Baldwin. Fundamentals of stability theory . Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1988
work page 1988
-
[3]
Stanley Burris and H. P. Sankappanavar. A course in universal a lgebra. http://www.math.uwaterloo.ca/~snburris/htdocs/ualg.html
-
[4]
Stanley Burris and H. P. Sankappanavar. A course in universal algebra , volume 78 of Graduate Texts in Mathematics . Springer-Verlag, New York-Berlin, 1981
work page 1981
-
[5]
Stephen U. Chase. Direct products of modules. Trans. Amer. Math. Soc. , 97:457–473, 1960
work page 1960
-
[6]
A structure theorem for st rongly abelian varieties with few models
Bradd Hart and Matthew Valeriote. A structure theorem for st rongly abelian varieties with few models. J. Symbolic Logic , 56(3):832–852, 1991
work page 1991
-
[7]
Geometric stability theory, volume 32 of Oxford Logic Guides
Anand Pillay. Geometric stability theory, volume 32 of Oxford Logic Guides. The Claren- don Press, Oxford University Press, New York, 1996. Oxford Scie nce Publications
work page 1996
Show all 16 references
-
[8]
Model Theory Lecture Notes , University of Notre Dame
Anand Pillay. Model Theory Lecture Notes , University of Notre Dame. https://www3.nd.edu/~apillay/pdf/lecturenotes_modeltheory.pdf
-
[9]
Forking and pushouts in modules
Anand Pillay and Mike Prest. Forking and pushouts in modules. Proc. London Math. Soc. (3) , 46(2):365–384, 1983
1983
-
[10]
Modules and stability theory
Anand Pillay and Mike Prest. Modules and stability theory. Trans. Amer. Math. Soc. , 300(2):641–662, 1987
1987
-
[12]
Model theory and modules , volume 130 of London Mathematical Society Lecture Note Series
Mike Prest. Model theory and modules , volume 130 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1988
1988
-
[13]
S. Shelah. Classification theory and the number of nonisomorphic model s, volume 92 of Studies in Logic and the Foundations of Mathematics . North-Holland Publishing Co., Amsterdam, second edition, 1990
1990
-
[14]
Sabbagh and P
G. Sabbagh and P. Eklof. Definability problems for modules and rin gs. J. Symbolic Logic, 36:623–649, 1971. 27
1971
-
[15]
Lance W. Small. An example in Noetherian rings. Proc. Nat. Acad. Sci. U.S.A. , 54:1035–1036, 1965
1965
-
[16]
Algebraica lly compact ring and modules
Birge Zimmermann-Huisgen and Wolfgang Zimmermann. Algebraica lly compact ring and modules. Math. Z. , 161(1):81–93, 1978. 28
1978
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.