Cover Image

Elementary properties of free lattices III: Undecidability of the full theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nation, J. B., Paolini, Gianluca
Format:	Preprint
Published:	2025
Subjects:	Logic 03C05, 03C64, 06B05
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)

Elementary Properties of Free Lattices
by: Nation, J. B., et al.
Published: (2023)

The modal theory of linear orders
by: Wołoszyn, Wojciech Aleksander
Published: (2026)

Limit Semigroups with 2 Generators
by: Estrada, Felipe, et al.
Published: (2025)

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

On the Model Theory of Open Incidence Structures: The Rank 2 Case
by: Paolini, Gianluca, et al.
Published: (2024)

On the equational theory of finite modular lattices
by: Herrmann, Christian
Published: (2024)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
by: Yao, Ningyuan, et al.
Published: (2026)

Quite Complete Real Closed fields
by: Shelah, Saharon
Published: (2001)

On the theory of exponential integer parts
by: Jeřábek, Emil
Published: (2024)

The elementary theory of free Steiner triple systems
by: Barbina, Silvia, et al.
Published: (2024)

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

Nondefinability results for elliptic and modular functions
by: McCulloch, Raymond
Published: (2023)

Zarankiewicz bounds from distal regularity lemma
by: Tong, Mervyn
Published: (2024)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
by: Buriola, Gabriele, et al.
Published: (2025)

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

Generic derivations on o-minimal structures
by: Fornasiero, Antongiulio, et al.
Published: (2019)

NTP2 topological structures
by: Guerrero, Pablo Andújar
Published: (2026)

Combinatorial Bounds in Distal Structures
by: Anderson, Aaron
Published: (2021)

Definable Functions to Quotients in Ordered Abelian Groups
by: Wells, Harper
Published: (2026)

On the shatter function of semilinear set systems
by: Basit, Abdul, et al.
Published: (2025)

Ellis enveloping semigroups in real closed fields
by: Baro, Elías, et al.
Published: (2023)

Endomorphisms of free Steiner quasigroups
by: Barbina, Silvia, et al.
Published: (2024)

On the problem of stability of abstract elementary classes of modules
by: Paolini, Gianluca, et al.
Published: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
by: Lyon, Tim S.
Published: (2025)

Cohen-like first order structures
by: Kostana, Ziemowit
Published: (2020)

Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)

Countable models of weakly quasi-o-minimal theories II
by: Moconja, Slavko, et al.
Published: (2026)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

Stable reducts of elementary extensions of Presburger arithmetic
by: Alouf, Eran, et al.
Published: (2024)

Distality in Ordered Abelian Groups
by: Okura, Koki
Published: (2026)

The tree pigeonhole principle in the Weihrauch degrees
by: Dzhafarov, Damir, et al.
Published: (2023)

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

A model theory of topology
by: Lipparini, Paolo
Published: (2022)

Varieties defined by linear equations have the amalgamation property
by: Lipparini, Paolo
Published: (2021)

A Study of Abstract Elementary Classes in the context of Graphs
by: Rajan, Navaneetha Madaparambu
Published: (2023)

A Fraïssé theory for partial orders of a fixed finite dimension
by: Smythe, Iian B., et al.
Published: (2024)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

Undecidability of infinite algebraic extensions of $\mathbb{F}_p(t)$
by: Martinez-Ranero, Carlos, et al.
Published: (2024)