Normality and $\mathscr{P}(\kappa)/\mathscr{J}$
Zrotowski, R.
J. Symbolic Logic, Tome 56 (1991) no. 1, p. 1064-1067 / Harvested from Project Euclid
The main result of this paper is that if $\kappa$ is not a weakly Mahlo cardinal, then the following two conditions are equivalent: 1. $\mathscr{P}(\kappa)/ \mathscr{J}$ is $\kappa^+$-complete. 2. $\mathscr{J}$ is a prenormal ideal. Our result is a generalization of an announcement made in [Z]. We say that $\mathscr{J}$ is selective iff for every $\mathscr{J}$-function $f: \kappa \rightarrow \kappa$ there is a set $X \in \mathscr{J}$ such that $f\mid(\kappa - X)$ is one-to-one. Our theorem provides a positive partial answer to a question of B. Weglorz from [BTW, p. 90], viz.: is every selective ideal $\mathscr{J}$, with $\mathscr{P}(\kappa)/\mathscr{J} \kappa^+$-complete, isomorphic to a normal ideal? The theorem is also true for fine ideals on $\lbrack\lambda\rbrack^{<\kappa}$ for any $\kappa \leq \lambda$, i.e. if $\kappa$ is not a weakly Mahlo cardinal then the Boolean algebra $\mathscr{P} (\lbrack\lambda\rbrack^{<\kappa})/\mathscr{J}$ is $\lambda^+$-complete iff $\mathscr{J}$ is a prenormal ideal (in the sense of $\lbrack\lambda\rbrack^{<\kappa})$.
Publié le : 1991-09-15
Classification: 
@article{1183743751,
     author = {Zrotowski, R.},
     title = {Normality and $\mathscr{P}(\kappa)/\mathscr{J}$},
     journal = {J. Symbolic Logic},
     volume = {56},
     number = {1},
     year = {1991},
     pages = { 1064-1067},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183743751}
}
Zrotowski, R. Normality and $\mathscr{P}(\kappa)/\mathscr{J}$. J. Symbolic Logic, Tome 56 (1991) no. 1, pp.  1064-1067. http://gdmltest.u-ga.fr/item/1183743751/