Bounded Martin's Maximum with an Asterisk
نویسندگان
چکیده
1The first author was supported by Austrian Science Fund (FWF) project M 1408-N25. 2The second author is indebted to W. Hugh Woodin, Ilijas Farah, and Menachem Magidor for crucial conversations on the topics of this paper. He is also grateful to Andrés Caicedo and Paul Larson for many conversations on the topics of this paper in particular during the SQuaRE meetings at the AIM in Palo Alto, May 16–20, 2011, and April 16–20, 2012. Both authors would like to thank W. Hugh Woodin, Paul Larson, Jindra Zapletal, and the anonymous referee for their many helpful comments on earlier drafts of this paper.
منابع مشابه
Bounded Martin's Maximum, Weak Erd} Os Cardinals, and Ac
We prove that a form of the Erd} os property (consistent with V = LH! 2 ] and strictly weaker than the Weak Chang's Conjecture at !1), together with Bounded Martin's Maximum implies that Woodin's principle AC holds, and therefore 2 @ 0 = @2. We also prove that AC implies that every function f : !1 ! !1 is bounded by some canonical function on a club and use this to produce a model of the Bounde...
متن کاملSemi-proper forcing, remarkable cardinals, and Bounded Martin's Maximum
We show that L(R) absoluteness for semi-proper forcings is equiconsistent with the existence of a remarkable cardinal, and hence by [6] with L(R) absoluteness for proper forcings. By [7], L(R) absoluteness for stationary set preserving forcings gives an inner model with a strong cardinal. By [3], the Bounded Semi-Proper Forcing Axiom (BSPFA) is equiconsistent with the Bounded Proper Forcing Axi...
متن کاملEstimating a Bounded Normal Mean Relative to Squared Error Loss Function
Let be a random sample from a normal distribution with unknown mean and known variance The usual estimator of the mean, i.e., sample mean is the maximum likelihood estimator which under squared error loss function is minimax and admissible estimator. In many practical situations, is known in advance to lie in an interval, say for some In this case, the maximum likelihood estimator...
متن کاملDesign and Implementation VOIP Service on Open IMS and Asterisk Servers Interconnected through Enum Server
Asterisk and Open IMS use SIP signal protocol to enable both of them can be connected. To facilitate both relationships, Enum serverthat is able to translate the numbering address such as PSTN (E.164) to URI address (Uniform Resource Identifier)can be used. In this research, we interconnect Open IMS and Asterisk server Enum server. We then analyze the server performance and PDD (Post Dial Delay...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Notre Dame Journal of Formal Logic
دوره 55 شماره
صفحات -
تاریخ انتشار 2014