Under large cardinal assumptions, free LDAs with distinct finite generator counts are Σ₁-elementarily equivalent but not Σ₂-equivalent, and a homogeneous universal extension of the monogenerated free LDA is constructed where fixed applications are elementary embeddings.
Perspectives in Mathematical Logic
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Free Left Distributive Algebras and a Canonical Extension
Under large cardinal assumptions, free LDAs with distinct finite generator counts are Σ₁-elementarily equivalent but not Σ₂-equivalent, and a homogeneous universal extension of the monogenerated free LDA is constructed where fixed applications are elementary embeddings.