TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3

DOI10.1017/S1755020317000314MaRDI QIDQ4637951zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill

Publication date 3 May 2018

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1755020317000314

zbMATH Keywords

modal logichereditarily extremally disconnected spacetopological completeness

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Extremally disconnected spaces, (F)-spaces, etc. (54G05)

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3457750 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 495311 (Why is no real title available?)
• scientific article; zbMATH DE number 3360962 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• An ascending chain of S4 logics
• Krull dimension in modal logic
• Modal logic
• Modal logics of Stone spaces
• Modal logics of metric spaces
• On n -to-one continuous images of β ℕ
• Projective topological spaces
• Resolvable, not maximally resolvable spaces
• Some results on modal axiomatization and definability for topological spaces
• Strong completeness of S4 for any dense-in-itself metric space
• That All Normal Extensions of S4.3 Have the Finite Model Property
• The Logics Containing S 4.3
• The algebra of topology
• Tools and techniques in modal logic
• \(\mathbf{S4.3}\) and hereditarily extremally disconnected spaces

Cited in

(2)

• CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC
• COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω

This page was built for publication: TYCHONOFF HED-SPACES AND ZEMANIAN EXTENSIONS OF S4.3

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4637951)