Finest partitions for ultrafilters

Publisher: Cambridge University Press

E-ISSN: 1943-5886|51|2|327-332

ISSN: 0022-4812

Source: The Journal of Symbolic Logic, Vol.51, Iss.2, 1986-06, pp. : 327-332

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

If a uniform ultrafilter U over an uncountable cardinal κ is not outright countably complete, probably the next best thing is that it have a finest partition: a master function f:κ → ω with ƒ ({n}) ∉ U for each n ϵ ω such that for any g: κκ, either (a) it is one-to-one on a set in U, or (b) it factors through ƒ (mod U), i.e. for some function h, {α < κh(f(α)) = g(α)} ϵ U. In this paper, it is shown that recent contructions of irregular ultrafilters over ω 1 can be amplified to incorporate a finest partition.