Back-and-forth for systems of antichains (Q1904385)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Back-and-forth for systems of antichains |
scientific article; zbMATH DE number 828180
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Back-and-forth for systems of antichains |
scientific article; zbMATH DE number 828180 |
Statements
Back-and-forth for systems of antichains (English)
0 references
20 December 1995
0 references
The author deals with root systems, that means with partially ordered sets such that the final section of any element is totally ordered. He considers the distributive lattice of all antichains. It is shown that the first-order theory of this distributive lattice is completely determined by the first-order theory of the root system. This is shown by describing a suitable back-and-forth system.
0 references
elementary equivalence
0 references
root systems
0 references
distributive lattice
0 references
antichains
0 references
first-order theory
0 references
back-and-forth system
0 references
