Selctive ultrafilters and homogeneity (Q1105590)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Selctive ultrafilters and homogeneity |
scientific article |
Statements
Selctive ultrafilters and homogeneity (English)
0 references
1988
0 references
This paper consists, roughly speaking, of three parts: in the first part the author refines older results on the existence of homogeneous sets for partitions of \([\omega]^{\omega}\). An interesting byproduct of these investigations is the result that: if every ccc forcing adds either a Cohen or a random real, then there are no P-points. This sheds some light on the question of Laver and Prikry whether the if-clause is consistent with ZFC. The second part investigates what happens after Lévy-collapsing a Mahlo cardinal to \(\omega_ 1\). In that model non-isomorphic selective ultrafilters are radically different: they are mutually generic on \([\omega]^{\omega}\) over the class of sets hereditarily definable over the ground model and \({\mathbb{R}}.\) In the third part, the author shows that under CH there is a group of autohomeomorphisms of \(\beta\omega\setminus \omega\) that distinguishes non-isomorphic ultrafilters. It is a result of \textit{W. Rudin} [Duke Math. J. 23, 409-419 (1956; Zbl 0073.396)] that under CH any two P-points can be mapped onto each other by an autohomeomorphism of \(\beta\omega\setminus \omega\).
0 references
partition theorems
0 references
Cohen real
0 references
homogeneous sets
0 references
ccc forcing
0 references
random real
0 references
P-points
0 references
Lévy-collapsing
0 references
Mahlo cardinal
0 references
selective ultrafilters
0 references