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]
Preview |
Text
New-MT.pdf Download (393kB) | Preview |
Abstract
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 Mathematics |
| 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 |
