The covering lemma for L[U]
暂无分享,去创建一个
[1] K. Prikry,et al. Changing Measurable into Accessible Cardinals , 1970 .
[2] Patrick Dehornoy,et al. Iterated ultrapowers and prikry forcing , 1978 .
[3] Tony Dodd,et al. The covering lemma for K , 1982, Ann. Math. Log..
[4] Kenneth Kunen,et al. Some applications of iterated ultrapowers in set theory , 1970 .
[5] A. R. D. Mathias,et al. On sequences generic in the sense of Prikry , 1973, Journal of the Australian Mathematical Society.