Ultrafilters with small generating sets (Q1823240): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: There may be simple \(P_{\aleph _ 1}\)- and \(P_{\aleph _ 2}\)-points and the Rudin-Keisler ordering may be downward directed / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Mathias Forcing which does not Add Dominating Reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Set theory. An introduction to independence proofs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Happy families / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Families of sets and functions / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Iterated Cohen extensions and Souslin's problem / rank | |||
Normal rank |
Latest revision as of 10:37, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ultrafilters with small generating sets |
scientific article |
Statements
Ultrafilters with small generating sets (English)
0 references
1989
0 references
Let \({\mathcal U}\) be a nonprincipal ultrafilter on \(\omega\). A subfamily \({\mathcal G}\) of \({\mathcal U}\) generates \({\mathcal U}\) if every \(A\in {\mathcal U}\) has a subset \(B\in {\mathcal G}\). The authors study the cardinal \[ u=\min \{| {\mathcal G}|:\quad {\mathcal G}\quad generates\quad an\quad ultrafilter\}. \] \(\aleph_ 1\leq u\leq 2^{\aleph_ 0}\) and Kunen has shown that it is consistent for u to be \(\aleph_ 1\) and \(\aleph_ 1<2^{\aleph_ 0}\). This paper concerns the relationship between u and the cardinal d where d is the minimum cardinality of a family of functions \({\mathcal D}\) such that every function from \(\omega\) to \(\omega\) is dominated by one in \({\mathcal D}\). The authors establish the consistency of \(u<d\). In fact they prove: For \(\nu\) and \(\delta\) uncountable regular cardinals in a model of \(ZF+GCH\) there is a countable chain condition forcing extension in which \(u=\nu\) and \(d=\delta\).
0 references
nonprincipal ultrafilter
0 references
countable chain condition forcing extension
0 references