PFA and \(\omega\) \(*_ 1\)
DOI10.1016/0166-8641(88)90004-1zbMath0646.54027OpenAlexW2091169462MaRDI QIDQ1103905
Publication date: 1988
Published in: Topology and its Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0166-8641(88)90004-1
forcingMartin's axiomproper forcing axiomclubF- spacecompactification of its dense subspace of nonuniform ultrafiltersStone-Čech remainders of discrete spacesstrongly zero-dimensional spacethining out principal
Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Remainders in general topology (54D40) Consistency and independence results in general topology (54A35) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Other set-theoretic hypotheses and axioms (03E65)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Saturated Boolean algebras and their Stone spaces
- Set theory. An introduction to independence proofs
- Whitehead groups may not be free even assuming CH. II
- Proper forcing
- A weak version of \(\lozenge\) which follows from \(2^{\aleph_0}<2^{\aleph_1}\)
- Forcing Positive Partition Relations
- Extension of continuous functions in 𝛽𝐍
- Properties of Stone-Cech Compactifications of Discrete Spaces