Properties of Large Cardinals and Precipitous Ideal  

作　　者：张再跃 

机构地区：[1]Institute of Software, Academia Sinica, Beijing 100080, PRC

出　　处：《Chinese Science Bulletin》1994年第11期892-895,共4页

摘　　要：1 Notation and Terminology Throughout this note κ is always a regular uncountable cardinal, and λ≥κ acardinal. When we say an ideal I on P_κλ, it means that I is a κ-completenon-principal fine ideal on P_κλ. If M is a ground model of ZFC, then Ult_U(M)denotes the ultrapower of M associated with U, an ultrapower on P_κλ. Let I be an ideal on P_κλ. We consider the generic extension of M given by thecompletion of Boolean algebra P(P_κλ)/I, i.e. forcing with【R(I),≤_I), where R(I)

关 键 词：precipitous IDEAL ELEMENTARY EMBEDDING GENERIC ultrapower. 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]