116
Voted
ORDER
2008
15 years 2 months ago
2008
For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (...