A consistency result on weak reflection
暂无分享,去创建一个
In this paper we study the notion of strong non-reflection, and its contrapositive weak reflection. We say theta strongly non-reflects at lambda iff there is a function F: theta ---> lambda such that for all alpha < theta with cf(alpha)= lambda there is C club in alpha such that F restriction C is strictly increasing. We prove that it is consistent to have a cardinal theta such that strong non-reflection and weak reflection each hold on an unbounded set of cardinals less than theta .
[1] S. Shelah,et al. Annals of Pure and Applied Logic , 1991 .
[2] Akihiro Kanamori,et al. Strong axioms of infinity and elementary embeddings , 1978 .
[3] James E. Baumgartner,et al. A new class of order types , 1976 .
[4] Saharon Shelah,et al. Saturated Filters at Successors of Singulars, Weak Reflection and Yet Another Weak Club Principle , 1996, Ann. Pure Appl. Log..