No label defined (Q3977421)

[For the entire collection see Zbl 0675.00015.] In their now classic paper, \textit{J. E. Baumgartner, A. D. Taylor} and \textit{S. Wagon} [``Structural properties of ideals'', Diss. Math. 197 (1982; Zbl 0549.03036)] extended much of the theory of \(\kappa\)-complete ultrafilters over an uncountable cardinal \(\kappa\) to the context of \(\kappa\)-complete filters over \(\kappa\). Jech generalized many combinatorial features of the structure \((\kappa,<)\) to the structure \((P_ \kappa\lambda,\subset)\) where for any uncountable cardinals \(\kappa\) and \(\lambda\) with \(\kappa\) regular and \(\kappa\leq\lambda\), \(P_ \kappa \lambda\) denotes the set \(\{x\subseteq\lambda: | x| < \kappa\}\). In particular, he extended the notions of closed, unbounded and stationary sets to this context, and proved (among other things) that if \(\kappa\) is \(\lambda\)- supercompact, then every \(\lambda\)-supercompact ultrafilter over \(P_ \kappa\lambda\) extends the club filter. There is now a fully developed theory of ultrafilters over \(P_ \kappa \lambda\). As yet however, very few parts of this theory have been extended to the context of \(\kappa\)-complete filters over \(P_ \kappa \lambda\). We study the structure \((P_ \kappa\lambda,<)\) where the binary relation \(<\) is defined in \(P_ \kappa\lambda\) by \(x<y\) iff \(x\subset y\wedge| x | < | y\cap\kappa|\) and show that in some respects, \((P_ \kappa\lambda,<)\) is a better analogue of \((\kappa,<)\) than is \((P_ \kappa\lambda,\subset)\). In particular, we prove that if \(\kappa\) is \(\lambda\)-supercompact, then every \(\lambda\)-supercompact ultrafilter over \(P_ \kappa \lambda\) is strongly normal and has a certain partition property thereby generalizing a familiar result of \textit{F. Rowbottom} [Ann. Math. Logic 3, 1-44 (1971; Zbl 0274.02034)] to the context of \((P_ \kappa \lambda,<)\). As well, we generalize some results of \textit{B. Weglorz} [Lect. Notes Math. 619, 311- 328 (1977; Zbl 0371.02022)] concerning selective, Ramsey and quasinormal ideals to this context. Finally, we prove that for strongly normal ideals, the partition property is equivalent to a certain distributivity property.