Abstract

We develop the theory of Cκ, λi, a strongly normal filter over [MATHEMATICAL SCRIPT CAPITAL P]κλ for Mahlo κ. We prove a minimality result, showing that any strongly normal filter containing {x ∈ [MATHEMATICAL SCRIPT CAPITAL P]κλ: |x | = |x ∩ κ | and |x | is inaccessible} also contains Cκ, λi. We also show that functions can be used to obtain a basis for Cκ, λi