Back-and-forth for systems of antichains

DOI10.1007/BF01111742zbMath0838.03030MaRDI QIDQ1904385

Daniel Gluschankof

Publication date: 20 December 1995

Published in: Order (Search for Journal in Brave)

zbMATH Keywords

first-order theorydistributive latticeroot systemsantichainsback-and-forth systemelementary equivalence

Mathematics Subject Classification ID

Trees (05C05) Basic properties of first-order languages and structures (03C07) Quantifier elimination, model completeness, and related topics (03C10) Distributive lattices (06D99)

Related Items (2)

First-order theories of subgroups of divisible Hahn products ⋮ The order structure of the real spectrum of commutative rings

Cites Work

• Unnamed Item
• Classification theory and the number of non-isomorphic models
• Ordering the set of antichains of an ordered set
• Théories d'arbres
• Arborescent Structures. II: Interpretability in the Theory of Trees
• The Hahn Embedding Theorem for Abelian Lattice-Ordered Groups
• Lex-subgroups of lattice-ordered groups

This page was built for publication: Back-and-forth for systems of antichains