There are no Q-Points in Laver's Model for the Borel Conjecture

DOI10.2307/2043048zbMath0439.03035OpenAlexW4249411032WikidataQ123358246 ScholiaQ123358246MaRDI QIDQ3880836

Arnold W. Miller

Publication date: 1980

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2043048

zbMATH Keywords

rare ultrafilterBorel conjectureQ-pointnonprincipal ultrafilter

Mathematics Subject Classification ID

Consistency and independence results (03E35)

Related Items

\(p\)-Fréchet-Urysohn property of function spaces ⋮ Every maximal ideal may be Katětov above of all 𝐹_{𝜎} ideals ⋮ Covering properties of ideals ⋮ Mathias Forcing which does not Add Dominating Reals ⋮ Countable ultraproducts without CH ⋮ HL ideals and Sacks indestructible ultrafilters ⋮ Generic existence of interval P-points ⋮ Exactly two and exactly three near-coherence classes ⋮ Thin ultrafilters ⋮ Discrete ultrafilters and homogeneity of product spaces ⋮ Topological groups with strong disconnectedness properties ⋮ Tree \(\pi\)-bases for \(\beta N-N\) in various models ⋮ Families of sets related to Rosenthal's lemma ⋮ Rapid interval P-points ⋮ Selective separability and \(q^+\) in maximal spaces ⋮ P-filters and Cohen, random, and Laver forcing ⋮ Nonexistence of countable extremally disconnected groups with many open subgroups ⋮ Increasing the groupwise density number by c.c.c. forcing ⋮ Unnamed Item ⋮ Filter-dependent versions of the uniform boundedness principle ⋮ Cardinalities of noncentered systems of subsets of \(\omega\) ⋮ Continua in \(R^*\) ⋮ Ultrafilters, monotone functions and pseudocompactness ⋮ Large sets in Boolean and non-Boolean groups and topology ⋮ On the Generic Existence of Special Ultrafilters ⋮ Laver and set theory ⋮ Convergent subseries of \(\mathcal{I}\)-convergent series ⋮ The cofinality of the symmetric group and the cofinality of ultrapowers ⋮ The near coherence of filters principle does not imply the filter dichotomy principle ⋮ The Borel conjecture ⋮ Discrete Subsets in Topological Groups and Countable Extremally Disconnected Groups ⋮ \(o\)-boundedness of free topological groups ⋮ Weak measure extension axioms ⋮ Hierarchies of measure-theoretic ultrafilters ⋮ On rapid idempotent ultrafilters ⋮ Unnamed Item ⋮ On the cardinality and structure of extremally disconnected groups with linear topology ⋮ Discrete subsets and convergent sequences in topological groups