A characterization of well-founded algebraic lattices
Ilham Chakir, Maurice Pouzet · arXiv (Cornell University) · 2008
We characterize well-founded algebraic lattices by means of forbidden subsemilattices of the join-semilattice made of their compact elements. More specifically, we show that an algebraic lattice $L$ is well-founded if and only if $K(L)$, the join-semilattice of compact elements of $L$, is well-founded and contains neither $[ω]^{