$P_\kappa\lambda$ Combinatorics II: The RK Ordering Beneath a Supercompact Measure
Zwicker, William S.
J. Symbolic Logic, Tome 51 (1986) no. 1, p. 604-616 / Harvested from Project Euclid
We characterize some large cardinal properties, such as $\mu$-measurability and $P^2(\kappa)$-measurability, in terms of ultrafilters, and then explore the Rudin-Keisler (RK) relations between these ultrafilters and supercompact measures on $P_\kappa(2^\kappa)$. This leads to the characterization of $2^\kappa$-supercompactness in terms of a measure on measure sequences, and also to the study of a certain natural subset, $\mathrm{Full}_\kappa$, of $P_\kappa(2^\kappa)$, whose elements code measures on cardinals less than $\kappa$. The hypothesis that $\mathrm{Full}_\kappa$ is stationary (a weaker assumption than $2^\kappa$-supercompactness) is equivalent to a higher order Lowenheim-Skolem property, and settles a question about directed versus chain-type unions on $P_\kappa\lambda$.
Publié le : 1986-09-14
Classification:  $P_\kappa\lambda$ hypermeasurable,  supercompact,  Lowehneim-Skolem theorem,  03E55
@article{1183742159,
     author = {Zwicker, William S.},
     title = {$P\_\kappa\lambda$ Combinatorics II: The RK Ordering Beneath a Supercompact Measure},
     journal = {J. Symbolic Logic},
     volume = {51},
     number = {1},
     year = {1986},
     pages = { 604-616},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183742159}
}
Zwicker, William S. $P_\kappa\lambda$ Combinatorics II: The RK Ordering Beneath a Supercompact Measure. J. Symbolic Logic, Tome 51 (1986) no. 1, pp.  604-616. http://gdmltest.u-ga.fr/item/1183742159/