1987
DOI: 10.1016/0168-0072(87)90082-0
|View full text |Cite
|
Sign up to set email alerts
|

There may be simple Pℵ1 and Pℵ2-points and the Rudin-Keisler ordering may be downward directed

Abstract: We prove the consistency, relative to ZFC, of each of the following two (mutually contradictory) statements. (A) Every two non-principal ultrafilters on o have a common image via a finite-to-one function. (B) Simple &,-points and simple &+-points both exist. These results, proved by the second author, answer questions of the first author and P. Nyikos, who had obtained numerous consequences of (A) and (B), respectively. In the models we construct, the bounding number is K,, while the dominating number, the spl… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
119
1
2

Year Published

1990
1990
2023
2023

Publication Types

Select...
5
3

Relationship

2
6

Authors

Journals

citations
Cited by 122 publications
(123 citation statements)
references
References 5 publications
1
119
1
2
Order By: Relevance
“…While the existence of semi-Q-points appears to be weaker than that of Q-points, in the models where it is known that Q-points do not exist (models obtained by iteratively adding Laver or Mathias reals, studied by Miller in [14], or Shelah's model for Blass's Near Coherence of Filters principle, described in [6]), semi-Q-points do not exist either. Moreover, when Kunen showed in [12] that selective ultrafilters do not exist in the random real model, he actually proved that semiselectives are not found there either.…”
Section: The Theoremsmentioning
confidence: 99%
“…While the existence of semi-Q-points appears to be weaker than that of Q-points, in the models where it is known that Q-points do not exist (models obtained by iteratively adding Laver or Mathias reals, studied by Miller in [14], or Shelah's model for Blass's Near Coherence of Filters principle, described in [6]), semi-Q-points do not exist either. Moreover, when Kunen showed in [12] that selective ultrafilters do not exist in the random real model, he actually proved that semiselectives are not found there either.…”
Section: The Theoremsmentioning
confidence: 99%
“…To prove (3), let b be any branch of q. b is also a branch of p, so (2) shows that q∩split n (p) ⊇ b ∩ split n (p) = ∅. Proof of (4): Let b be a branch of p containing η.…”
Section: This Contradicts 21(d)mentioning
confidence: 99%
“…Since Unif (S) is equivalent to for every H : ω → ω, for every F ∈ [ n H(n)] <c , there exists f * ∈ ω ω such that for every f ∈ F there are infinitely many n satisfying f (n) = f * (n), 2.18 (2) shows that if we have c = ℵ 2 and Martin's Axiom for the forcing notions P T H (for all H), then we also have Unif (S). (In fact the "easy" implication "⇐" of this equivalence is sufficient.)…”
Section: Remarkmentioning
confidence: 99%
See 1 more Smart Citation
“…In [5] a model of set theory is constructed where c = ℵ 2 and there exist a simple P ℵ 1 point and a simple P ℵ 2 point. The simple P ℵ 1 point is generated by ℵ 1 many sets, thus u = ℵ 1 .…”
Section: Theorem 12mentioning
confidence: 99%