Back-and-forth for systems of antichains
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.
scientific article; zbMATH DE number 828180