| Authors |
|
| Publication date |
2015
|
| Journal |
Georgian Mathematical Journal
|
| Volume | Issue number |
22 | 4
|
| Pages (from-to) |
441-4759
|
| Organisations |
-
Faculty of Science (FNWI) - Korteweg-de Vries Institute for Mathematics (KdVI)
-
Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
|
| Abstract |
The modal logic S4.3 defines the class of hereditarily extremally disconnected spaces (HED-spaces). We construct a countable HED-subspace X of the Gleason cover of the real closed unit interval [0,1] such that S4.3 is the logic of X.
|
| Document type |
Article
|
| Language |
English
|
| Published at |
https://doi.org/10.1515/gmj-2015-0041
|
|
Permalink to this page
|