Cover Image

Free Left Distributive Algebras and a Canonical Extension

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Cramer, Scott, Ho, Meng-Che "Turbo", Edwards, Sheila K. Miller, Trang, Nam
Format:	Preprint
Published:	2026
Subjects:	Logic 03E55 (Primary), 08B20, 20N02 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A free two-generated left distributive algebra of elementary embeddings
by: Brooke-Taylor, Andrew D., et al.
Published: (2025)

Algorithmically finite, universal, and $*$-universal groups
by: Andrews, Uri, et al.
Published: (2024)

Two results on complexities of decision problems of groups
by: Andrews, Uri, et al.
Published: (2024)

Arithmetic and $k$-maximality of the cyclic free magma
by: Cardó, Carles
Published: (2024)

Isomorphism relations on classes of c.e. algebras
by: Ho, Meng-Che "Turbo", et al.
Published: (2026)

Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)

Colimits of Heyting Algebras through Esakia Duality
by: Almeida, Rodrigo Nicolau
Published: (2024)

On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)

Extension Monads: Some Structure Theorems
by: Bowerman, Danielle, et al.
Published: (2025)

A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
by: Beyarslan, Özlem, et al.
Published: (2017)

Algorithmic aspects of left-orderings of solvable Baumslag--Solitar groups via its dynamical realization
by: Ho, Meng-Che "Turbo", et al.
Published: (2024)

Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Transposition of variables is hard to describe
by: Andréka, H., et al.
Published: (2024)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

Infinite Hat Problems and Large Cardinals
by: Lietz, Andreas, et al.
Published: (2024)

Galvin's Conjecture and Weakly Precipitous Ideals
by: Eisworth, Todd
Published: (2023)

Failure of Esakia's theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)

Compactness in abelian group theory
by: Calderoni, Filippo, et al.
Published: (2025)

Aristotelian poetry
by: Garti, Shimon, et al.
Published: (2021)

On some algebraic properties of Plonka sums and regularized varieties
by: Bonzio, S., et al.
Published: (2026)

The Construction Principle and superstability of free objects in varieties of algebras
by: Hyttinen, Tapani, et al.
Published: (2026)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

The fine structure of operator mice
by: Schlutzenberg, Farmer, et al.
Published: (2016)

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Relation algebras containing Thompson groups
by: Maddux, Roger D.
Published: (2023)

Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)

Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)

A note on Łoś's Theorem without the Axiom of Choice
by: Usuba, Toshimichi
Published: (2023)

Pairs of separably closed fields and exotic groups
by: Chatzidakis, Zoé, et al.
Published: (2024)

On homomorphic images of ultraproducts
by: Corson, Samuel M.
Published: (2025)

A Ramsey theorem for the reals
by: Inamdar, Tanmay
Published: (2024)

The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)

Quasi-treeings are treeable: a streamlined proof
by: Zhai, Zhaoshen
Published: (2024)