The Rieger–Nishimura ladder
S000001✓ Yes ✕ No — Not recorded
| Value | ID | Name | Reference |
|---|---|---|---|
| ✓ | P000000 | Priestley space | Esakia, Heyting Algebras: Duality Theory (2019). |
| ✓ | P000001 | Esakia space | Esakia, Heyting Algebras: Duality Theory (2019). |
| ✓ | 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 | Esakia, Heyting Algebras: Duality Theory (2019). |
| ✕ | P000011 | Finite depth | By definition |
| ✓ | P000012 | Clopen maximum | By definition |
| ✓ | P000013 | KM space | Esakia, Heyting Algebras: Duality Theory (2019). |
| ✓ | P000014 | Extremally order-disconnected | Esakia, Heyting Algebras: Duality Theory (2019). |
| ✕ | P000015 | Extremally disconnected | By definition |
| ✓ | P000016 | Finite incomparability degree | By definition |