pith. sign in

arxiv: 2505.10155 · v2 · submitted 2025-05-15 · 🧮 math.LO

A New Construction Principle

Tapani Hyttinen , Gianluca Paolini , Davide Emilio Quadrellaro This is my paper

Pith reviewed 2026-05-22 15:27 UTC · model grok-4.3

classification 🧮 math.LO
keywords abstract elementary classesconstruction principleinfinitary logicsnon-axiomatizabilityuncountably categorical classesSteiner systemsgeneralized polygonsfree products
0
0 comments X

The pith

A new construction principle in abstract elementary classes shows that several uncountably categorical classes are not axiomatizable in L_{∞,ω₁}.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The authors introduce a new Construction Principle called CP(K, *) in the setting of abstract elementary classes. This principle extends an earlier one used in universal algebra and opens up applications to broader classes of structures. They use it to prove that in ZFC, classes such as free products of cyclic groups and free Steiner systems are not axiomatizable in the infinitary logic L_{∞,ω₁}. Under the additional assumption V=L, the same classes fail to be axiomatizable even in the stronger logic L_{∞,∞}. These results are significant because they demonstrate limitations on how much structure these logics can capture for important algebraic and geometric objects.

Core claim

We use the framework of Abstract Elementary Classes (AECs) to introduce a new Construction Principle CP(K,*), which generalises the Construction Principle of Eklof, Mekler and Shelah and allows for many novel applications beyond the setting of universal algebra. From this we derive, in ZFC, that several uncountably categorical classes of structures are not axiomatisable in the logic L_{∞,ω₁}, and, under V=L, that they are not axiomatisable in L_{∞,∞}. In particular, our methods apply to: free products of cyclic groups of fixed order, direct sums of a fixed torsion-free abelian group of rank 1 which is not Q, free (k,n)-Steiner systems, and free generalised n-gons.

What carries the argument

The Construction Principle CP(K, *), a general condition in abstract elementary classes that enables the derivation of non-axiomatizability results for uncountably categorical classes.

Load-bearing premise

The new Construction Principle CP(K, *) must hold for each specific class of structures to which the non-axiomatizability conclusions are applied.

What would settle it

Demonstrating that one of the mentioned classes, for example the free (k,n)-Steiner systems, admits an axiomatization in L_{∞,ω₁} would falsify the derived claim.

read the original abstract

We use the framework of Abstract Elementary Classes ($\mathrm{AEC}$s) to introduce a new Construction Principle $\mathrm{CP}(\mathbf{K},\ast)$, which generalises the Construction Principle of Eklof, Mekler and Shelah and allows for many novel applications beyond the setting of universal algebra. From this we derive, in ZFC, that several uncountably categorical classes of structures are not axiomatisable in the logic $\mathfrak{L}_{\infty,\omega_1}$, and, under $V=L$, that they are not axiomatisable in $\mathfrak{L}_{\infty,\infty}$. In particular, our methods apply to: free products of cyclic groups of fixed order, direct sums of a fixed torsion-free abelian group of rank $1$ which is not $\mathbb{Q}$, free $(k,n)$-Steiner systems, and free generalised $n$-gons.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper introduces a new Construction Principle CP(K, *) in the framework of Abstract Elementary Classes (AECs), generalizing the Construction Principle of Eklof, Mekler and Shelah. From this principle the authors derive, in ZFC, that several uncountably categorical classes are not axiomatizable in L_{∞,ω1}, and under V=L that they are not axiomatizable in L_{∞,∞}. The methods are applied in particular to free products of cyclic groups of fixed order, direct sums of a fixed torsion-free abelian group of rank 1 not isomorphic to ℚ, free (k,n)-Steiner systems, and free generalised n-gons.

Significance. If the verifications that each listed class satisfies CP(K, *) are correct, the work supplies new non-axiomatizability results for important algebraic and combinatorial classes, extending the reach of AEC techniques beyond universal algebra. The parameter-free character of the derivations and the explicit applications to concrete structures constitute genuine strengths.

major comments (2)
  1. [§4] §4 (Applications to Steiner systems): the verification that the class of free (k,n)-Steiner systems satisfies the closure, amalgamation, and auxiliary-operation conditions of CP(K, *) is load-bearing for the non-axiomatizability claim in L_{∞,ω1}; the manuscript states that the class forms an AEC but does not explicitly exhibit the operation * or confirm that free constructions preserve the required joint-embedding and limit properties.
  2. [§5] §5 (Abelian-group case): the argument that direct sums of a fixed rank-1 torsion-free group A ≠ ℚ satisfy CP(K, *) relies on an unstated claim that the class is closed under the * operation while preserving the torsion-free rank-1 property; without an explicit construction of * or a check that the resulting structures remain in the class, the passage from the general theorem to this example is incomplete.
minor comments (2)
  1. [§2] Notation for the auxiliary operation * is introduced without a dedicated definition block; a displayed definition would improve readability.
  2. [§6] The abstract claims results for 'free generalised n-gons' but the corresponding subsection does not list the precise value of n or the underlying graph language; this minor omission does not affect the argument but should be corrected.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for the positive evaluation of its significance. We respond to each major comment below and will revise the paper to address the points raised.

read point-by-point responses

  1. Referee: [§4] §4 (Applications to Steiner systems): the verification that the class of free (k,n)-Steiner systems satisfies the closure, amalgamation, and auxiliary-operation conditions of CP(K, *) is load-bearing for the non-axiomatizability claim in L_{∞,ω1}; the manuscript states that the class forms an AEC but does not explicitly exhibit the operation * or confirm that free constructions preserve the required joint-embedding and limit properties.

    Authors: We agree that the presentation in §4 would benefit from greater explicitness. The operation * is the free amalgamation construction within the class of free (k,n)-Steiner systems, which exists by the known amalgamation property of these structures. In the revised version we will add a short subsection that (i) defines * explicitly via the free Steiner system on the amalgamated diagram, (ii) verifies closure under this operation, and (iii) confirms that the resulting structures preserve the joint-embedding property and are closed under directed limits. These additions will make the verification of CP(K, *) fully self-contained while leaving the main non-axiomatizability theorem unchanged. revision: yes

  2. Referee: [§5] §5 (Abelian-group case): the argument that direct sums of a fixed rank-1 torsion-free group A ≠ ℚ satisfy CP(K, *) relies on an unstated claim that the class is closed under the * operation while preserving the torsion-free rank-1 property; without an explicit construction of * or a check that the resulting structures remain in the class, the passage from the general theorem to this example is incomplete.

    Authors: We acknowledge that the closure under * was not stated explicitly enough. The auxiliary operation * is defined by forming the direct sum of the given structure with an additional copy of the fixed rank-1 group A in a manner that keeps all summands torsion-free of rank 1. We will revise §5 to include (i) the precise definition of *, (ii) a brief argument that the result remains torsion-free of rank 1, and (iii) a verification that the class is closed under this operation and satisfies the remaining conditions of CP(K, *). This will render the application complete. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation from new principle is self-contained

full rationale

The paper introduces a novel Construction Principle CP(K, *) within the AEC framework as a generalization of the Eklof-Mekler-Shelah principle, then derives non-axiomatizability results in ZFC for L_{∞,ω1} and under V=L for L_{∞,∞} for classes satisfying the principle. The listed examples (free products of cyclic groups, direct sums of rank-1 torsion-free abelian groups ≠ ℚ, free (k,n)-Steiner systems, free generalised n-gons) are asserted to satisfy CP(K, *), with the non-axiomatizability conclusions following directly. No quoted step reduces the central theorem to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the principle and its verifications for the concrete classes stand as independent content against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no free parameters, axioms, or invented entities are identifiable from the provided text. The work builds on standard AEC framework and prior construction principles without introducing new postulated entities.

pith-pipeline@v0.9.0 · 5672 in / 1252 out tokens · 41131 ms · 2026-05-22T15:27:46.708801+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

51 extracted references · 51 canonical work pages

  1. [1]

    A. M. Ammer and K. Tent.On the model theory of open generalized polygons. Model Th.3 (2024), no. 2, 433-448

    work page 2024

  2. [2]

    Baer.Abelian groups without elements of finite order

    R. Baer.Abelian groups without elements of finite order. Duke Math. J.3(1937), 68-122

    work page 1937

  3. [3]

    J. T. Baldwin, P. C. Eklof and J. Trlifaj.N ⊥ as an abstract elementary class. Ann. Pure Appl. Logic149.1-3(2007), 25-39

    work page 2007

  4. [4]

    J. T. Baldwin, A. H. Lachlan.On universal Horn classes categorical in some infinite power. Algebr. Univ.3(1973), 98-111

    work page 1973

  5. [5]

    J. T. BaldwinCategoricity. Vol. 50. American Mathematical Soc., 2009

    work page 2009

  6. [6]

    J. T. BaldwinStrongly minimal Steiner systems II: coordinatization and quasigroups.. Alge- bra Univers.84.2, 2023

    work page 2023

  7. [7]

    Beller, A

    A. Beller, A. Litman.A strengthening of Jensen’s□principles. J. Symb. Log.45.2(1980), 251-264. 44 TAPANI HYTTINEN, GIANLUCA PAOLINI, AND DA VIDE E. QUADRELLARO

    work page 1980

  8. [8]

    Boney.A Module-theoretic Introduction to Abstract Elementary Classes

    W. Boney.A Module-theoretic Introduction to Abstract Elementary Classes. arXiv preprint arXiv:2503.105281

    work page arXiv

  9. [9]

    Boney, et al.µ-Abstract elementary classes and other generalizations

    W. Boney, et al.µ-Abstract elementary classes and other generalizations. J. Pure Appl. Algebra220.9(2016), 3048-3066

    work page 2016

  10. [10]

    Buekenhout (ed.).Handbook of incidence geometry

    F. Buekenhout (ed.).Handbook of incidence geometry. North-Holland, Amsterdam, 1995

    work page 1995

  11. [11]

    Burris and P

    S. Burris and P. H. Sankappanavar.A course in universal algebra. Springer, New York, 1981

    work page 1981

  12. [12]

    M. W. Davis.The Geometry and Topology of Coxeter Groups. London Mathematical Society Monographs Series, 32. Princeton University Press, Princeton, NJ, 2008

    work page 2008

  13. [13]

    M. A. Dickmann.Chapter IX: Larger infinitary languages. Model-Theoretic Logics (eds. J. Barwise, S. Feferman). Vol. 8. Association for Symbolic Logic, 1985. 317-364

    work page 1985

  14. [14]

    P. C. Eklof and A. H. Mekler.Categoricity results forL ∞,κ. Ann. Pure Appl. Logic37.1 (1988), 81-99

    work page 1988

  15. [15]

    P. C. Eklof and A. H. Mekler.Almost free modules: Set-theoretic methods. Elsevier, Amster- dam: North-Holland, 2002

    work page 2002

  16. [16]

    Fuchs.Abelian groups

    L. Fuchs.Abelian groups. Springer Monographs in Mathematics, Springer, Cham, 2015

    work page 2015

  17. [17]

    Funk and K

    M. Funk and K. Strambach.Free constructions. Handbook of incidence geometry (ed. F. Buekenhout), 739-780, North-Holland, Amsterdam, 1995

    work page 1995

  18. [18]

    Hall.Projective planes

    M. Hall.Projective planes. Trans. Am. Math. Soc.54(1943), 229-277

    work page 1943

  19. [19]

    Higman.Almost free groups

    G. Higman.Almost free groups. Proc. Lond. Math. Soc.01(1951), 284-290

    work page 1951

  20. [20]

    Hyttinen and G

    T. Hyttinen and G. Paolini.Beyond abstract elementary classes: on the model theory of geometric lattices. Ann. Pure Appl. Logic169(2018), no. 02, 117-145

    work page 2018

  21. [21]

    Hyttinen and G

    T. Hyttinen and G. Paolini.Coxeter groups and abstract elementary classes: the right-angled case. Notre Dame J. Formal Logic60(2019), no. 4, 707-731

    work page 2019

  22. [22]

    Hyttinen and G

    T. Hyttinen and G. Paolini.First-order model theory of free projective planes. Ann. Pure Appl. Logic172(2021), no. 2

    work page 2021

  23. [23]

    Jarden and S

    A. Jarden and S. Shelah.Non-Forking Frames in Abstract Elementary Classes. Ann. Pure Appl. Logic, 164:135-191, 2013

    work page 2013

  24. [24]

    Jech.Set theory

    T. Jech.Set theory. The third millennium edition. Springer Berlin, Heidelberg, 2006

    work page 2006

  25. [25]

    R. B. Jensen.The fine structure of the constructible hierarchy. Ann. Math. Logic4(1972), no. 3, 229-308

    work page 1972

  26. [26]

    C. R. Karp.Languages with expressions of infinite length. Diss. University of Southern Cal- ifornia, 1959

    work page 1959

  27. [27]

    Kopeikina.Decompositions of projective planes

    L. Kopeikina.Decompositions of projective planes. Bull. Acad. Sci. URSS. S´ er. Math.9(1945) 495-526

    work page 1945

  28. [28]

    D. W. Kueker.L ∞,ω1-elementarily equivalent models of powerω 1. Logic Year 1979–80 (eds. M. Lerman, J. H. Schmerl, R. I. Soare), Springer Berlin, Heidelberg, 1981

    work page 1979

  29. [29]

    Mazari-Armida.Some stable non-elementary classes of modules

    M. Mazari-Armida.Some stable non-elementary classes of modules. J. Symb. Log.88(2023), no. 1, 93-117

    work page 2023

  30. [30]

    Mazari-Armida.Characterizing categoricity in several classes of modules

    M. Mazari-Armida.Characterizing categoricity in several classes of modules. J. Algebra617 (2023), no. 1, 382-401

    work page 2023

  31. [31]

    A. H. Mekler.How to construct almost free groups. Can. J. Math.32(1980), no. 5, 1206-1228

    work page 1980

  32. [32]

    A. H. Mekler.Almost-free groups in varieties. J. Algebra145(1992), no. 1, 128-142

    work page 1992

  33. [33]

    A. H. Mekler and S. Shelah.L ∞,ω-free algebras. Algebra Univers.26(1989), 351-366

    work page 1989

  34. [34]

    every stationary set reflects

    A. H. Mekler and S. Shelah.The consistency strength of “every stationary set reflects”. Isr. J. Math.67(1989), no. 3, 353-366

    work page 1989

  35. [35]

    A. H. Mekler and S. Shelah.Almost free algebras. Isr. J. Math.89(1995), 237-259

    work page 1995

  36. [36]

    M¨ uhlherr, G

    B. M¨ uhlherr, G. Paolini, S. Shelah.First-order aspects of Coxeter groupsJ. Algebra.595, 297-346

    work page

  37. [37]

    Paolini and D

    G. Paolini and D. E. Quadrellaro.On the model theory of open incidence structures: The rank 2 case. arXiv preprint arXiv:2411.10792

    work page arXiv

  38. [38]

    Paolini and S

    G. Paolini and S. Shelah.The strong small index property for free homogeneous structures. Research Trends in Contemporary Logic, College Publications, London, 2020

    work page 2020

  39. [39]

    J. J. Rotman.Advanced modern algebra. Prentice Hall, 1st edition, 2002

    work page 2002

  40. [40]

    ˇSaroch, Jan, and J

    J. ˇSaroch, Jan, and J. Trlifaj.Deconstructible abstract elementary classes of modules and categoricity. Bull. Lond. Math. Soc. 56.12 (2024): 3854-3866

    work page 2024

  41. [41]

    Shelah.Classification of non elementary classes II

    S. Shelah.Classification of non elementary classes II. Abstract elementary classes. Classifica- tion Theory (ed. J. T. Baldwin). Lecture Notes in Mathematics, Springer Berlin, Heidelberg, 2006. A NEW CONSTRUCTION PRINCIPLE 45

    work page 2006

  42. [42]

    Shelah.Classification theory for abstract elementary classes

    S. Shelah.Classification theory for abstract elementary classes. Volume 1. Studies in Logic: Mathematical logic and foundations, College Publications, London, 2009

    work page 2009

  43. [43]

    Shelah.Classification theory for abstract elementary classes

    S. Shelah.Classification theory for abstract elementary classes. Volume 2. Studies in Logic: Mathematical logic and foundations, College Publications, London, 2009

    work page 2009

  44. [44]

    Shelah and A

    S. Shelah and A. Villaveces.Infinitary logics andAEC. Proc. Am. Math. Soc.150, 371-380

    work page

  45. [45]

    L. C. Siebenmann.A characterization of free projective planes. Pacific J. Math.15(1965), 293-298

    work page 1965

  46. [46]

    S. R. GalOn Normal Subgroups of Coxeter Groups Generated by Standard Parabolic Sub- groupsGeom. Dedicata.115(2005), 65-78

    work page 2005

  47. [47]

    Tits.Endliche Spiegelungsgruppen, die als Weylgruppen auftreten

    J. Tits.Endliche Spiegelungsgruppen, die als Weylgruppen auftreten. Invent. Math.43(1977), no. 3, 283-295

    work page 1977

  48. [48]

    Trlifaj.Abstract elementary classes induced by tilting and cotilting modules have finite character

    J. Trlifaj.Abstract elementary classes induced by tilting and cotilting modules have finite character. Proc. Am. Math. Soc.137(2009), no. 3, 1127-1133

    work page 2009

  49. [49]

    V¨ a¨ an¨ anen.Models and games

    J. V¨ a¨ an¨ anen.Models and games. Cambridge University Press, Cambridge, 2011

    work page 2011

  50. [50]

    Vasey.Shelah’s eventual categoricity conjecture in universal classes: part I

    S. Vasey.Shelah’s eventual categoricity conjecture in universal classes: part I. Ann. Pure Appl. Logic168(2017), 1609–1642

    work page 2017

  51. [51]

    Giuseppe Peano

    S. Vasey.Shelah’s eventual categoricity conjecture in universal classes: part II. Sel. Math., New Ser.23(2017), 1469-1506. Department of Mathematics and Statistics, University of Helsinki, P.O. Box 68 (Pietari Kalmin katu 5), 00014 Helsinki, Finland Email address:tapani.hyttinen@helsinki.fi Department of Mathematics “Giuseppe Peano”, University of Torino,...

    work page 2017