Bellissima’s construction
S000008✓ Yes ✕ No — Not recorded
| Value | ID | Name | Reference |
|---|---|---|---|
| ✕ | P000000 | Priestley space | Bellissima, Finitely generated free Heyting algebras (1986). |
| ✕ | P000001 | Esakia space | Bellissima, Finitely generated free Heyting algebras (1986). |
| ✓ | P000002 | At most countable | By definition |
| ✕ | P000003 | Finite | By definition |
| ✕ | P000004 | Rooted | By definition |
| ✓ | P000005 | Noetherian | By definition |
| ✓ | P000006 | Finite width | By definition |
| ✕ | P000007 | Greatest element | By definition |
| ✕ | P000008 | Isolated root | By definition |
| ✓ | P000009 | Discrete | By definition |
| ✕ | P000010 | bi-Esakia space | Bellissima, Finitely generated free Heyting algebras (1986). |
| ✕ | P000011 | Finite depth | By definition |
| ✓ | P000012 | Clopen maximum | By definition |
| ✓ | P000013 | KM space | Bellissima, Finitely generated free Heyting algebras (1986). |
| ✓ | P000014 | Extremally order-disconnected | Bellissima, Finitely generated free Heyting algebras (1986). |
| ✓ | P000015 | Extremally disconnected | By definition |
| ✕ | P000016 | Finite incomparability degree | By definition |