PFA(S)[S] and Locally Compact Normal Spaces

2011/04/18 by Franklin D. Tall, Tall, Franklin D. · 1 citation
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #General Topology (math.GN) #Logic (math.LO) #Rings, Modules, and Algebras #math.GN #math.LO

paper · pdf · doi:10.48550/arxiv.1104.3471

arxiv created 2011/04/18 · openalex publication_date 2011/04/18 · arxiv updated 2011/04/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We examine locally compact normal spaces in models of form PFA(S)[S], in particular characterizing paracompact, countably tight ones as those which include no perfect pre-image of omega₁ and in which all separable closed subspaces are Lindelof.

Cited by

• Forcing Axioms and construction schemes

Related

• PFA(S)[S] and countably compact spaces
• Gently Killing S--spaces
• On the hereditary paracompactness of locally compact, hereditarily normal spaces
• Small Locally Compact Linearly Lindelof Spaces
• Selections, Paracompactness and Compactness