Imagen de Portada

Elementary Properties of Free Lattices

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Nation, J. B., Paolini, Gianluca
Formato:	Preprint
Publicado:	2023
Materias:	Logic 03C05, 03C64, 06B05
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

Elementary properties of free lattices III: Undecidability of the full theory
por: Nation, J. B., et al.
Publicado: (2025)

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

Limit Semigroups with 2 Generators
por: Estrada, Felipe, et al.
Publicado: (2025)

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

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

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

Quite Complete Real Closed fields
por: Shelah, Saharon
Publicado: (2001)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

Nondefinability results for elliptic and modular functions
por: McCulloch, Raymond
Publicado: (2023)

Zarankiewicz bounds from distal regularity lemma
por: Tong, Mervyn
Publicado: (2024)

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

The uniform Kruskal theorem over RCA$_0$
por: Uftring, Patrick
Publicado: (2025)

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

NTP2 topological structures
por: Guerrero, Pablo Andújar
Publicado: (2026)

Combinatorial Bounds in Distal Structures
por: Anderson, Aaron
Publicado: (2021)

Definable Functions to Quotients in Ordered Abelian Groups
por: Wells, Harper
Publicado: (2026)

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

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

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

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

Cohen-like first order structures
por: Kostana, Ziemowit
Publicado: (2020)

On the equational theory of finite modular lattices
por: Herrmann, Christian
Publicado: (2024)

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

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

The Amalgamation Property for automorphisms of ordered abelian groups
por: Dobrowolski, Jan, et al.
Publicado: (2022)

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

Distality in Ordered Abelian Groups
por: Okura, Koki
Publicado: (2026)

On Tameness, Measurability and the Independence Property
por: Krapp, Lothar Sebastian, et al.
Publicado: (2025)

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

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

A Galois correspondence for automorphism groups of structures with the Lascar Property
por: Paolini, Gianluca, et al.
Publicado: (2025)

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

Tukey morphisms between finite relations
por: Barton, Rhett, et al.
Publicado: (2023)

Endomorphisms of free Steiner quasigroups
por: Barbina, Silvia, et al.
Publicado: (2024)

Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
por: Sato, Yuta
Publicado: (2025)

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

Tukey-idempotency and strong p-points
por: Benhamou, Tom, et al.
Publicado: (2025)

Integration in finite terms and exponentially algebraic functions
por: Jaoui, Rémi, et al.
Publicado: (2025)

Reverse mathematics of a uniform Kruskal-Friedman theorem
por: Freund, Anton
Publicado: (2021)