|
This article is cited in 6 scientific papers (total in 6 papers)
Rogers Semilattices of Finite Partially Ordered Sets
Yu. L. Ershov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
It is proved that the principal sublattice of a Rogers semilattice of a finite partially ordered set is definable. For this goal to be met, we present a generalization of the Denisov theorem concerning extensions of embeddings of Lachlan semilattices to ideals of Rogers semilattices.
Keywords:
Rogers semilattice, Lachlan semilattice, definability.
Received: 27.08.2005 Revised: 19.01.2006
Citation:
Yu. L. Ershov, “Rogers Semilattices of Finite Partially Ordered Sets”, Algebra Logika, 45:1 (2006), 44–84; Algebra and Logic, 45:1 (2006), 26–48
Linking options:
https://www.mathnet.ru/eng/al117 https://www.mathnet.ru/eng/al/v45/i1/p44
|
|