We study the subtlety of a cardinal κ and of. We show that, under a certain large cardinal assumption, it is consistent that is subtle for some but κ is not subtle, and the consistency of such a situation is much stronger than the existence of a subtle cardinal. We show that the subtlety of can be characterized by a certain partition relation on. We also study the property of faintness of κ, and the subtlety of with the strong inclusion.

We investigate the partition property of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_{\kappa}\lambda}$$\end{document}. Main results of this paper are as follows: (1) If λ is the least cardinal greater than κ such that \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_{\kappa}\lambda}$$\end{document} carries a (λκ, 2)-distributive normal ideal without the partition property, then λ is \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^1_n}$$\end{document}-indescribable for all n < ω but not \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} (...) \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\Pi^2_1}$$\end{document} -indescribable. (2) If cf(λ) ≥ κ, then every ineffable subset of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_{\kappa}\lambda}$$\end{document} has the partition property. (3) If cf(λ) ≥ κ, then the completely ineffable ideal over \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal{P}_{\kappa}\lambda}$$\end{document} has the partition property. (shrink)