PP-2015-15: S4.3 and hereditarily extremally disconnected spaces

PP-2015-15: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2015) S4.3 and hereditarily extremally disconnected spaces. [Report]

[thumbnail of Full Text]
Text (Full Text)

Download (361kB) | Preview
[thumbnail of Abstract] Text (Abstract)

Download (488B)


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.

Item Type: Report
Report Nr: PP-2015-15
Series Name: Prepublication (PP) Series
Year: 2015
Uncontrolled Keywords: Modal logic, topological semantics, topological completeness, hereditarily extremally disconnected space
Subjects: Logic
Depositing User: Nick Bezhanishvili
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/526

Actions (login required)

View Item View Item