作者: Richard Laver
DOI: 10.1007/BF02761175
关键词: Strongly compact cardinal 、 Large cardinal 、 Supercompact cardinal 、 Combinatorics 、 Mathematics 、 Measurable cardinal 、 Proper forcing axiom 、 Regular cardinal 、 Forcing (recursion theory) 、 Strong cardinal
摘要: A model is found in which there a supercompact cardinal κ remains any κ-directed closed forcing extension.