Ultrafilters on \(\omega\) and atoms in the lattice of uniformities. II (Q1110850): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Partition Theorems and Ultrafilters / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4065548 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5327708 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some points in β<i>N</i> / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4098892 / rank
 
Normal rank
Property / cites work
 
Property / cites work: A simple proof of the Galvin-Ramsey property of the class of all finite graphs and a dimension of a graph / rank
 
Normal rank
Property / cites work
 
Property / cites work: Selective Graphs and Hypergraphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4110310 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4117073 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ultrafilters on \(\omega\) and atoms in the lattice of uniformities. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4117075 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3900659 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4123985 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform Spaces of Countable Type / rank
 
Normal rank
Property / cites work
 
Property / cites work: A formal analogy between proximity and finite dimensionality / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weakly Ramsey P Points / rank
 
Normal rank

Latest revision as of 18:35, 18 June 2024

scientific article
Language Label Description Also known as
English
Ultrafilters on \(\omega\) and atoms in the lattice of uniformities. II
scientific article

    Statements

    Ultrafilters on \(\omega\) and atoms in the lattice of uniformities. II (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    1988
    0 references
    The authors continue their investigations on the interaction between ultrafilters and uniformities (on a countable set) [see part I reviewed above]. Under CH they study proximally discrete atoms in the lattice of uniformities on \(\omega\). Various ultrafilters on \(\omega\) are constructed so that atoms in the lattice of uniformities refining the corresponding ultrafilter-uniformities have special properties. Methods from finite combinatorics are used. The following results are typical. Let \(1\leq s<\omega\) and let \({\mathcal G}\) be an ultrafilter on \(\omega\). Then there is an ultrafilter \({\mathcal F}>{\mathcal G}\) on \(\omega\) such that there are precisely s distinct atoms refining \({\mathcal U}_{{\mathcal F}}\). All these atoms are zero-dimensional. (Here \(>\) denotes the Rudin-Keisler order.) Let \({\mathcal G}\) be an ultrafilter on \(\omega\). Then there exists an ultrafilter \({\mathcal F}>{\mathcal G}\) on \(\omega\) such that there are \(2^ c\) distinct atoms refining \({\mathcal U}_{{\mathcal F}}\). There exists a uniformity N, generated by an ultrafilter \({\mathcal F}\) and a partition \({\mathcal R}\) into finite sets on \(\omega\), such that (i) \({\mathcal N}\) is an atom in the lattice of zero-dimensional uniformities on \(\omega\), (ii) \({\mathcal N}\) is not an atom in the lattice of all uniformities on \(\omega\) ; in fact, there are at least \(2^{\omega}\) pairwise uniformly non- homeomorphic atoms finer than \({\mathcal N}\), and these atoms are non-zero- dimensional. All these non-zero-dimensional atoms have the same distal modification, viz. \({\mathcal N}\). Thus d\({\mathcal A}_ 1\wedge d{\mathcal A}_ 2\neq d({\mathcal A}_ 1\wedge {\mathcal A}_ 2)\) for any couple \({\mathcal A}_ 1,{\mathcal A}_ 2\) of these atoms. (For any uniformity \({\mathcal U}\), \(d{\mathcal U}\) denotes the distal modification of \({\mathcal U}\), i.e. the uniformity whose basis consists of all covers of finite order in \({\mathcal U}.)\)
    0 references
    interaction between ultrafilters and uniformities
    0 references
    CH
    0 references
    proximally discrete atoms
    0 references
    lattice of uniformities
    0 references
    ultrafilter-uniformities
    0 references
    Rudin- Keisler order
    0 references
    lattice of zero-dimensional uniformities
    0 references
    non-zero- dimensional atoms
    0 references
    distal modification
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references