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.
Address at the Princeton University Bicentennial Conference on Problems of Mathematics (December 17-19, 1946).The Bulletin of Symbolic Logic, 6(1):1–44
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.