S4.3 and hereditarily extremally disconnected spaces

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 (Final published version)
Permalink to this page
Back