Abstrakt
Necht B a C jsou Booleovy algebry a e : B → C vnoreni. Zavedli jsme a zkoumame hierarchii idealu na algebre C, ktere vnoreni e regularizuji, tj. kvocientove vnoreni e : B → C/I je regularni.
Tento obecny postup aplikujeme na P(ω)/fin, ktera je prirozene vnorena do P(ω)/fin v rozsirenem modelu ZFC, ktery obsahuje nova realna cisla. Specialne ukazujeme, ze v kazdem takovem rozsireni existuje skoro-disjunktni zjemneni vsech ground-modelovych nekonecnych podmnozin prirozenych cisel.