The independence of Stone's Theorem from the Boolean Prime Ideal Theorem
Logic
2020-10-07 v1
Abstract
We give a permutation model in which Stone's Theorem (every metric space is paracompact) is false and the Boolean Prime Ideal Theorem (every ideal in a Boolean algebra extends to a prime ideal) is true. The erring metric space in our model attains only rational distances and is not metacompact. Transfer theorems give the comparable independence in the Zermelo-Fraenkel setting, answering a question of Good, Tree and Watson.
Keywords
Cite
@article{arxiv.2001.06513,
title = {The independence of Stone's Theorem from the Boolean Prime Ideal Theorem},
author = {Samuel M. Corson},
journal= {arXiv preprint arXiv:2001.06513},
year = {2020}
}