PP-2017-13: A new proof of the McKinsey-Tarski Theorem

PP-2017-13: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2017) A new proof of the McKinsey-Tarski Theorem. [Pre-print]

[thumbnail of New-MT.pdf]

Download (393kB) | Preview


It is a landmark theorem of McKinsey and Tarski that if we interpret modal diamond as closure (and hence modal box as interior), then S4 is the logic of any dense-in-itself metrizable space. The McKinsey-Tarski Theorem relies heavily on a metric that gives rise to the topology. We give a new and more topological proof of the theorem, utilizing Bing's Metrization Theorem.

Item Type: Pre-print
Report Nr: PP-2017-13
Series Name: Prepublication (PP) Series
Year: 2017
Subjects: Logic
Depositing User: Nick Bezhanishvili
Date Deposited: 15 Oct 2017 13:56
Last Modified: 19 Oct 2017 16:06
URI: https://eprints.illc.uva.nl/id/eprint/1565

Actions (login required)

View Item View Item