A free two-generated left distributive algebra of elementary embeddings
Fuente:
arXiv
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Free Left Distributive Algebras and a Canonical Extension
by: Cramer, Scott, et al.
Published: (2026)
by: Cramer, Scott, et al.
Published: (2026)
A Topological Rainbow Ramsey Theorem
by: Jakob, Hannes, et al.
Published: (2026)
by: Jakob, Hannes, et al.
Published: (2026)
On the abstract elementary class of acts with embeddings
by: Mazari-Armida, Marcos, et al.
Published: (2025)
by: Mazari-Armida, Marcos, et al.
Published: (2025)
On abstract and concrete minions
by: Juhrich, Lukas
Published: (2025)
by: Juhrich, Lukas
Published: (2025)
The class of Krasner hyperfields is not elementary
by: Błaszkiewicz, Piotr, et al.
Published: (2024)
by: Błaszkiewicz, Piotr, et al.
Published: (2024)
Arithmetic and $k$-maximality of the cyclic free magma
by: Cardó, Carles
Published: (2024)
by: Cardó, Carles
Published: (2024)
A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)
by: Jeřábek, Emil
Published: (2023)
Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)
by: Abbadini, Marco, et al.
Published: (2024)
Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
by: Beyarslan, Özlem, et al.
Published: (2017)
by: Beyarslan, Özlem, et al.
Published: (2017)
Proof-theoretic methods in quantifier-free definability
by: Kocsis, Zoltan A.
Published: (2023)
by: Kocsis, Zoltan A.
Published: (2023)
Transposition of variables is hard to describe
by: Andréka, H., et al.
Published: (2024)
by: Andréka, H., et al.
Published: (2024)
Examples of non-tame abstract elementary classes of abelian groups
by: Herden, Daniel, et al.
Published: (2026)
by: Herden, Daniel, et al.
Published: (2026)
Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)
by: Cornejo, Juan M., et al.
Published: (2025)
An unstable abstract elementary class of modules: A variation of Paolini-Shelah's example
by: Herden, Daniel, et al.
Published: (2026)
by: Herden, Daniel, et al.
Published: (2026)
Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)
by: Carai, Luca
Published: (2024)
Critical embeddings
by: Karagila, Asaf, et al.
Published: (2024)
by: Karagila, Asaf, et al.
Published: (2024)
A Minimal Substitution Basis for the Kalmár Elementary Functions
by: Prunescu, Mihai, et al.
Published: (2025)
by: Prunescu, Mihai, et al.
Published: (2025)
Extension Monads: Some Structure Theorems
by: Bowerman, Danielle, et al.
Published: (2025)
by: Bowerman, Danielle, et al.
Published: (2025)
Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)
by: Alouf, Eran, et al.
Published: (2024)
Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)
by: Hirsch, Robin, et al.
Published: (2024)
Notes on ultrafilter extensions of almost bounded structures
by: Molnár, Zalán
Published: (2025)
by: Molnár, Zalán
Published: (2025)
Nonstandard free groups
by: Miasnikov, Alexei, et al.
Published: (2026)
by: Miasnikov, Alexei, et al.
Published: (2026)
The calculus of names -- The legacy of Jan Łukasiewicz
by: Pietruszczak, Andrzej
Published: (2023)
by: Pietruszczak, Andrzej
Published: (2023)
The Construction Principle and superstability of free objects in varieties of algebras
by: Hyttinen, Tapani, et al.
Published: (2026)
by: Hyttinen, Tapani, et al.
Published: (2026)
Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)
by: Kocsis, Zoltan A.
Published: (2022)
Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)
by: Wrigley, Joshua L.
Published: (2025)
Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)
by: Kowalski, Tomasz, et al.
Published: (2024)
Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)
by: Abbadini, Marco, et al.
Published: (2024)
The BMM Symmetrising Trace Conjecture for Families of Complex Reflection Groups of Rank Two
by: Chavli, Eirini, et al.
Published: (2025)
by: Chavli, Eirini, et al.
Published: (2025)
On the Farrell--Tate $K$-theory of $\text{Out}(F_n)$
by: Andrew, Naomi, et al.
Published: (2025)
by: Andrew, Naomi, et al.
Published: (2025)
Polymorphism-homogeneity and universal algebraic geometry
by: Tóth, Endre, et al.
Published: (2020)
by: Tóth, Endre, et al.
Published: (2020)
Testing definitional equivalence of theories via automorphism groups
by: Andréka, H., et al.
Published: (2022)
by: Andréka, H., et al.
Published: (2022)
Building models in small cardinals in local abstract elementary classes
by: Mazari-Armida, Marcos, et al.
Published: (2023)
by: Mazari-Armida, Marcos, et al.
Published: (2023)
Perfectoid fields in the language of rings
by: Jahnke, Franziska, et al.
Published: (2026)
by: Jahnke, Franziska, et al.
Published: (2026)
Endotrivial modules for the quaternion group and iterated Jokers in chromatic homotopy theory
by: Baker, Andrew
Published: (2023)
by: Baker, Andrew
Published: (2023)