Year: 2026
Type: preprint
Abstract: We show that regarding the model-theoretic properties of distributive lattices isomorphic to finite products of linear orders there is a significant symmetry: if ${\mathbb X}_i$, $i1$, ${\mathcal T}:=\mathop{\rm Th}\nolimits (\prod _{i1$ is first order definable.
Source: arXiv (Cornell University)
Author: Kurilić, Miloš S.
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7223008395