The structure of pleasant ideals (Q1344442)

An ideal on a regular uncountable cardinal \(\kappa\) is a collection of subsets of \(\kappa\) that is closed under forming subsets and finite unions. Ideals that are closed under diagonal unions are called normal. (All ideals considered in this paper contain all singletons and are \(<\kappa\) complete). An ideal \(I\) is called pleasant if it is closed under diagonal unions indexed by sets in \(I\). In a previous paper [ibid. 32, 612-617 (1991; Zbl 0746.04003)] the author has shown that for any ideal \(I\) on \(\kappa\) the following are equivalent: 1) \(I\) is normal, 2) \(I\) is pleasant and extends \(\text{NS}_ \kappa\), and 3) \(I\) is pleasant and selective. (The nonstationary ideal on \(\kappa\), \(\text{NS}_ \kappa\), is defined as follows: \(A\in \text{NS}_ \kappa\) if and only if there is a closed and unbounded \(C\subseteq \kappa\) such that \(A\cap C= \emptyset\). The present paper continues the study of pleasant ideals and further investigates the relationship among selective, normal and pleasant ideals. One of the main results is that any selective ideal extending \(\text{NS}_ \kappa\) is normal.