Buchumschlag

Elementary properties of free lattices II: Decidability of the universal theory

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Nation, J. B., Paolini, Gianluca
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic 03C05, 03C64, 06B05
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Elementary properties of free lattices III: Undecidability of the full theory
von: Nation, J. B., et al.
Veröffentlicht: (2025)

Elementary Properties of Free Lattices
von: Nation, J. B., et al.
Veröffentlicht: (2023)

The modal theory of linear orders
von: Wołoszyn, Wojciech Aleksander
Veröffentlicht: (2026)

Limit Semigroups with 2 Generators
von: Estrada, Felipe, et al.
Veröffentlicht: (2025)

The Construction Principle and superstability of free objects in varieties of algebras
von: Hyttinen, Tapani, et al.
Veröffentlicht: (2026)

On the Model Theory of Open Incidence Structures: The Rank 2 Case
von: Paolini, Gianluca, et al.
Veröffentlicht: (2024)

On the equational theory of finite modular lattices
von: Herrmann, Christian
Veröffentlicht: (2024)

Newelski's Conjecture for $o$-Minimal and $p$-Adic Groups
von: Yao, Ningyuan, et al.
Veröffentlicht: (2026)

Quite Complete Real Closed fields
von: Shelah, Saharon
Veröffentlicht: (2001)

On the theory of exponential integer parts
von: Jeřábek, Emil
Veröffentlicht: (2024)

The elementary theory of free Steiner triple systems
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

Decidability of the theory of modules over Prüfer domains with infinite residue fields
von: Gregory, Lorna, et al.
Veröffentlicht: (2017)

Decidability of the theory of modules over Prüfer domains with dense value groups
von: Gregory, Lorna, et al.
Veröffentlicht: (2019)

Maximal order types for sequences with gap condition
von: Uftring, Patrick
Veröffentlicht: (2025)

Nondefinability results for elliptic and modular functions
von: McCulloch, Raymond
Veröffentlicht: (2023)

Zarankiewicz bounds from distal regularity lemma
von: Tong, Mervyn
Veröffentlicht: (2024)

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

The uniform Kruskal theorem over RCA$_0$
von: Uftring, Patrick
Veröffentlicht: (2025)

Generic derivations on o-minimal structures
von: Fornasiero, Antongiulio, et al.
Veröffentlicht: (2019)

NTP2 topological structures
von: Guerrero, Pablo Andújar
Veröffentlicht: (2026)

Countable models of weakly quasi-o-minimal theories II
von: Moconja, Slavko, et al.
Veröffentlicht: (2026)

Combinatorial Bounds in Distal Structures
von: Anderson, Aaron
Veröffentlicht: (2021)

Definable Functions to Quotients in Ordered Abelian Groups
von: Wells, Harper
Veröffentlicht: (2026)

Decidability for the theory of modules over a Prüfer domain
von: Gregory, Lorna
Veröffentlicht: (2021)

On the shatter function of semilinear set systems
von: Basit, Abdul, et al.
Veröffentlicht: (2025)

Ellis enveloping semigroups in real closed fields
von: Baro, Elías, et al.
Veröffentlicht: (2023)

Endomorphisms of free Steiner quasigroups
von: Barbina, Silvia, et al.
Veröffentlicht: (2024)

On the problem of stability of abstract elementary classes of modules
von: Paolini, Gianluca, et al.
Veröffentlicht: (2025)

Cohen-like first order structures
von: Kostana, Ziemowit
Veröffentlicht: (2020)

Finite models for positive combinatorial and exponential algebra
von: Alsulami, Tumadhir, et al.
Veröffentlicht: (2024)

Varieties generated by completions
von: Andréka, H., et al.
Veröffentlicht: (2018)

Stable reducts of elementary extensions of Presburger arithmetic
von: Alouf, Eran, et al.
Veröffentlicht: (2024)

Distality in Ordered Abelian Groups
von: Okura, Koki
Veröffentlicht: (2026)

The tree pigeonhole principle in the Weihrauch degrees
von: Dzhafarov, Damir, et al.
Veröffentlicht: (2023)

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

Interpolation in Hájek's Basic Logic
von: Fussner, Wesley, et al.
Veröffentlicht: (2024)

A model theory of topology
von: Lipparini, Paolo
Veröffentlicht: (2022)

Varieties defined by linear equations have the amalgamation property
von: Lipparini, Paolo
Veröffentlicht: (2021)

A Study of Abstract Elementary Classes in the context of Graphs
von: Rajan, Navaneetha Madaparambu
Veröffentlicht: (2023)

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