In this paper we investigate the closure of certain filters under different definitions of diagonal intersection. The space of partitions over which filters concern us is Q κ ( λ ), the set of partitions of λ into fewer than κ pieces, invented by Henle and Zwicker [4] in the spirit of P κ ( λ ). Various notions of normality for filters over Q κ ( λ ) have been introduced in [4] and [7]. Our objective is to find a notion of normality in terms of a tractable diagonal intersection which also in some sense reflects the construction of a partition. Extending the parallels between P κ ( λ ) and Q κ ( λ ) we define two diagonal intersections, Δ 1 and Δ 2 , under which the club filter is closed.
[1]
Gisela Mendez.
Filters on the Space of Partitions $Q_\kappa(\lambda)$
,
1992
.
[2]
William S. Zwicker,et al.
Ultrafilters on Spaces of Partitions
,
1982,
J. Symb. Log..
[3]
Telis K. Menas,et al.
On strong compactness and supercompactness
,
1975
.
[4]
Carlos Uzcátegui,et al.
Normal filters generated by a family of sets
,
1987
.
[5]
James M. Henle,et al.
The normal depth of filters on an infinite cardinal
,
1990,
Math. Log. Q..
[6]
Thomas Jech,et al.
Some combinatorial problems concerning uncountable cardinals
,
1973
.