pith. sign in

arxiv: 2604.08768 · v1 · submitted 2026-04-09 · 🧮 math.LO

Free Left Distributive Algebras and a Canonical Extension

Scott Cramer , Meng-Che "Turbo" Ho , Sheila K. Miller Edwards , Nam Trang This is my paper

Pith reviewed 2026-05-10 16:48 UTC · model grok-4.3

classification 🧮 math.LO
keywords free left distributive algebraselementary equivalencelarge cardinalselementary embeddingscanonical extensionLaver representationΣ₁ and Σ₂ theories
0
0 comments X

The pith

Assuming large cardinals, free left distributive algebras generated by different finite numbers of elements are Σ₁-elementarily equivalent but not Σ₂-elementarily equivalent.

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

The paper extends Laver's large-cardinal representation of the monogenerated free left distributive algebra to multiple generators and establishes a distinction in their first-order theories at low quantifier complexity. It shows that free LDAs on distinct finite generator sets satisfy the same Σ₁ sentences yet disagree on at least one Σ₂ sentence. The authors also produce an extension of the one-generator free LDA in which left multiplication by any fixed element becomes an elementary embedding, and they verify that this extension is homogeneous and universal. A sympathetic reader would care because the results supply algebraic facts whose consistency strength is tied to large cardinals but remains open in ZFC alone.

Core claim

Assuming a large cardinal hypothesis, finitely-generated free LDAs with distinct numbers of generators are Σ₁-elementarily equivalent but not Σ₂-elementarily equivalent. We also prove a partial structural analogue to Laver's representation of LDAs by constructing an extension of the monogenerated free LDA where application by any fixed element is an elementary embedding of LDAs. We argue that this extension is canonical by demonstrating homogeneity and universality properties.

What carries the argument

The canonical extension of the monogenerated free left distributive algebra in which left application by any fixed element is an elementary embedding of LDAs.

If this is right

  • Free LDAs on n and m generators for finite n ≠ m satisfy identical Σ₁ sentences but differ on some Σ₂ sentence.
  • The constructed extension supplies a partial structural analogue to Laver's representation theorem for the monogenerated case.
  • Homogeneity and universality together establish that the extension is canonical among possible enlargements of the free LDA.
  • Certain algebraic properties of free LDAs follow from large cardinals yet lack known proofs from ZFC.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The Σ₁/Σ₂ distinction indicates that generator count affects the logical complexity of the theory even when basic algebraic identities remain the same.
  • Universality of the extension suggests it may embed other free LDAs or related structures while preserving elementary properties of application maps.
  • If the large cardinal assumption proves indispensable, then the non-equivalence at Σ₂ level cannot be established in ZFC.

Load-bearing premise

The large cardinal hypothesis employed in Laver's original representation is required for the algebraic conclusions.

What would settle it

An explicit Σ₂ sentence that holds in the free LDA on one generator and fails in the free LDA on two generators, or a ZFC construction of the canonical extension without large cardinals.

Figures

Figures reproduced from arXiv: 2604.08768 by Meng-Che "Turbo" Ho, Nam Trang, Scott Cramer, Sheila K. Miller Edwards.

Figure 1
Figure 1. Figure 1: Embedding configuration for Lemma 55. The dotted lines indicate [PITH_FULL_IMAGE:figures/full_fig_p026_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Induction step for Lemma 55. 27 [PITH_FULL_IMAGE:figures/full_fig_p027_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Diagram of the proof of Lemma 56 Proof. Recall that C1 is the direct limit of the system A1 → A1 → · · · where every map is the embedding π defined by x 7→ xx. For any j ∈ Eλ, we have A1 ∼= Aj . And hence we can similarly identify C1 with the direct limit of Aj → Aj → · · · where every embedding is defined by j 7→ jj. Fix j ∈ Eλ+1 and let πn,ω : Aj → C1 be the natural maps, with πn,m : Aj → Aj the factor m… view at source ↗
Figure 4
Figure 4. Figure 4: Induction step for Lemma 60. 31 [PITH_FULL_IMAGE:figures/full_fig_p031_4.png] view at source ↗
read the original abstract

Assuming a large cardinal hypothesis, Laver gave a representation of the monogenerated free left distributive algebra (LDA) using elementary embeddings and used this representation to prove many algebraic results. Some of these results were later proved by Dehornoy in ZFC, without the large cardinal hypotheses. However, there is an important algebraic result whose consistency strength is unknown. (See Laver (1995) and Dougherty & Jech (1997).) Recent results [arXiv:2508.02244] extend the connection between elementary embeddings of set theory and free LDAs to the many-generated case. Assuming large cardinals, we prove two results. First, we prove that finitely-generated free LDAs with distinct numbers of generators are $\Sigma_1$-elementarily equivalent but not $\Sigma_2$-elementarily equivalent. We also prove a partial structural analogue to Laver's representation of LDAs. We construct an extension of the monogenerated free LDA where application by any fixed element is an elementary embedding of LDAs. We argue that this extension is canonical by demonstrating homogeneity and universality properties. These results also provide additional examples of algebraic properties provable from large cardinals without known proofs from the standard axioms of set theory.

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

0 major / 3 minor

Summary. Assuming a large cardinal hypothesis, the paper proves that finitely-generated free left distributive algebras (LDAs) with distinct numbers of generators are Σ₁-elementarily equivalent but not Σ₂-elementarily equivalent. It establishes a partial structural analogue to Laver's representation theorem by constructing an extension of the monogenerated free LDA in which application by any fixed element acts as an elementary embedding of LDAs, and argues that this extension is canonical on the basis of homogeneity and universality properties. The results are presented as further examples of algebraic statements whose consistency strength is tied to large cardinals.

Significance. If the proofs hold, the work meaningfully extends the set-theoretic representation of free LDAs from the monogenerated case (Laver) to the finitely-generated case and supplies a concrete canonical extension with elementary-embedding properties. The Σ₁/Σ₂ distinction and the homogeneity/universality arguments furnish new algebraic consequences of large cardinals that lack known ZFC proofs, thereby enriching the interface between elementary embeddings and left-distributive algebra.

minor comments (3)
  1. The abstract cites arXiv:2508.02244 for the many-generator extension of the Laver connection; the reference list should contain the full bibliographic entry rather than the arXiv number alone.
  2. In the construction of the canonical extension (presumably §4 or §5), the homogeneity and universality properties are invoked to justify canonicity; a brief comparison table or diagram contrasting this extension with Laver's original representation would improve readability.
  3. Notation for the Σ₁ and Σ₂ elementary equivalence relations is introduced without an explicit reminder of the underlying language of LDAs; adding a short sentence recalling the signature would aid readers unfamiliar with the algebraic context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive and encouraging report, including the assessment of significance and the recommendation of minor revision. No specific major comments were raised in the report, so we have no point-by-point rebuttals to provide at this stage. We will incorporate any minor suggestions or corrections during the revision process.

Circularity Check

0 steps flagged

No significant circularity; results conditional on external large-cardinal assumptions

full rationale

The paper's derivation chain begins from Laver's external representation theorem (1995) under large cardinals and extends it to the many-generator case via a cited prior result (arXiv:2508.02244). The Σ₁/Σ₂ elementary equivalence and canonical extension are derived directly from the representation plus homogeneity/universality arguments; none of these steps define the target properties in terms of themselves or rename fitted inputs as predictions. The large-cardinal hypothesis is stated explicitly as an assumption rather than smuggled in, and the algebraic conclusions are not claimed to hold in ZFC. No load-bearing self-citation reduces the central claims to unverified internal premises.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard ZFC set theory together with a large cardinal hypothesis to derive properties of free left distributive algebras; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math ZFC set theory
    Background framework for elementary embeddings and algebraic structures.
  • domain assumption Large cardinal hypothesis (as in Laver 1995)
    Assumed to obtain the representation and equivalence results; results are conditional on it.

pith-pipeline@v0.9.0 · 5525 in / 1389 out tokens · 81108 ms · 2026-05-10T16:48:06.856689+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

24 extracted references · 24 canonical work pages

  1. [1]

    Miller Edwards

    Andrew Brooke-Taylor, Scott Cramer, and Sheila K. Miller Edwards. A free two-generated left distributive algebra of embeddings.arXiv preprint arXiv:2508.02244, 2024

    work page arXiv 2024

  2. [2]

    Miller Edwards

    Andrew Brooke-Taylor and Sheila K. Miller Edwards. A free left distribu- tive algebra of elementary embeddings with uncountably many generators. In Preparation, 2026

    work page 2026

  3. [3]

    Stanley Burris and H. P. Sankappanavar.A course in universal algebra, volume 78 ofGraduate Texts in Mathematics. Springer-Verlag, New York- Berlin, 1981

    work page 1981

  4. [4]

    David de la Torre.On the Finiteness of Certain Left-Distributive Algebras

    work page

  5. [5]

    Thesis (M.Sc.)–California State University, Northridge

    work page

  6. [6]

    Free distributive groupoids.J

    Patrick Dehornoy. Free distributive groupoids.J. Pure Appl. Algebra, 61(2):123–146, 1989

    work page 1989

  7. [7]

    Braid groups and left distributive operations.Transac- tions of the American Mathematical Society, 345(1):115–150, 1994

    Patrick Dehornoy. Braid groups and left distributive operations.Transac- tions of the American Mathematical Society, 345(1):115–150, 1994

    work page 1994

  8. [8]

    Birkh¨ auser Verlag, Basel, 2000

    Patrick Dehornoy.Braids and self-distributivity, volume 192 ofProgress in Mathematics. Birkh¨ auser Verlag, Basel, 2000

    work page 2000

  9. [9]

    Finite left-distributive algebras and embedding algebras.Advances in Math, 130:201–241, 1997

    Randall Dougherty and Thomas Jech. Finite left-distributive algebras and embedding algebras.Advances in Math, 130:201–241, 1997

    work page 1997

  10. [10]

    Choiceless cardinals and the continuum problem.arXiv preprint arXiv:2201.11557, 2022

    Gabriel Goldberg. Choiceless cardinals and the continuum problem.arXiv preprint arXiv:2201.11557, 2022

    work page arXiv 2022

  11. [11]

    Measurable cardinals and choiceless axioms.Annals of Pure and Applied Logic, 175(1, Part B):103323, 2024

    Gabriel Goldberg. Measurable cardinals and choiceless axioms.Annals of Pure and Applied Logic, 175(1, Part B):103323, 2024. Kenneth Kunen (1943-2020)

    work page 2024

  12. [12]

    Cambridge University Press, Cambridge, 1993

    Wilfrid Hodges.Model theory, volume 42 ofEncyclopedia of Mathematics and its Applications. Cambridge University Press, Cambridge, 1993

    work page 1993

  13. [13]

    Perspectives in Mathematical Logic

    Akihiro Kanamori.The higher infinite. Perspectives in Mathematical Logic. Springer-Verlag, Berlin, 1994. Large cardinals in set theory from their beginnings

    work page 1994

  14. [14]

    Braid words and irreflexivity.Algebra Universalis, 31:104– 112, 1994

    David Larue. Braid words and irreflexivity.Algebra Universalis, 31:104– 112, 1994

    work page 1994

  15. [15]

    PhD thesis, University of Colorado, Boulder, 1994

    David Larue.Left Distributive and Left-Distributive Idempotent Algebras. PhD thesis, University of Colorado, Boulder, 1994

    work page 1994

  16. [16]

    The left distributive law and the freeness of an algebra of elementary embeddings.Advances in Mathematics, 91:209–231, 1992

    Richard Laver. The left distributive law and the freeness of an algebra of elementary embeddings.Advances in Mathematics, 91:209–231, 1992. 35

    work page 1992

  17. [17]

    A division algorithm for the free left distributive algebra

    Richard Laver. A division algorithm for the free left distributive algebra. InLogic Colloquium ’90 (Helsinki, 1990), volume 2 ofLecture Notes Logic, pages 155–162. Springer, Berlin, 1993

    work page 1990

  18. [18]

    On the algebra of elementary embeddings of a rank into itself.Advances in Math, 110:334–346, 1995

    Richard Laver. On the algebra of elementary embeddings of a rank into itself.Advances in Math, 110:334–346, 1995

    work page 1995

  19. [19]

    Implications between strong large cardinal axioms.Ann

    Richard Laver. Implications between strong large cardinal axioms.Ann. Pure Appl. Logic, 90(1-3):79–90, 1997

    work page 1997

  20. [20]

    Richard Laver and Sheila K. Miller. The free one-generated left distribu- tive algebra: basics and a simplified proof of the division algorithm.Open Mathematics (formerly the Central European Journal of Mathematics), 11(12):2150–2175, 2013

    work page 2013

  21. [21]

    Miller.Free Left Distributive Algebras

    Sheila K. Miller.Free Left Distributive Algebras. PhD thesis, University of Colorado, Boulder, 2007

    work page 2007

  22. [22]

    Sheila K. Miller. Left division in the free left distributive algebra on many generators.Archive for Mathematical Logic, 55(1-2):177–205, 2016

    work page 2016

  23. [23]

    On the consistency of ZF with an elementary em- bedding fromV λ+2 intoV λ+2.J

    Farmer Schlutzenberg. On the consistency of ZF with an elementary em- bedding fromV λ+2 intoV λ+2.J. Math. Log., 25(2):Paper No. 2450013, 43, 2025

    work page 2025

  24. [24]

    Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946).The Bulletin of Symbolic Logic, 6(1):1–44, 2000

    Alfred Tarski and Hourya Sinaceur. Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946).The Bulletin of Symbolic Logic, 6(1):1–44, 2000. 36

    work page 1946