Cardinal characteristics and projective wellorders
نویسندگان
چکیده
Using countable support iterations of S -proper posets, we show that the existence of a ∆3 definable wellorder of the reals is consistent with each of the following: d < c, b < a = s, b < g.
منابع مشابه
Cardinal characteristics, projective wellorders and large continuum
We extend the work of [7] by presenting a method for controlling cardinal characteristics in the presence of a projective wellorder and 2א0 > א2. This also answers a question of Harrington [11] by showing that the existence of a ∆3 wellorder of the reals is consistent with Martin’s axiom and 2א0 = א3.
متن کاملMeasure, category and projective wellorders
Every admissible assignment of א1 -א2 to the cardinal invariants in the Cichón diagram can be realized in a generic extension of a model of CH obtained as the countable support iteration of proper forcing notions (see [2, Chapter 7]). With every invariant in the Cichon diagram, one can associate a forcing notion which increases its value without affecting the values of the other invariants. Thu...
متن کاملProjective wellorders and mad families with large continuum
We show that b = c = ω3 is consistent with the existence of a ∆3-definable wellorder of the reals and a Π2-definable ω-mad subfamily of [ω] ω (resp. ω).
متن کاملCichoń's diagram, regularity properties and Δ13 sets of reals
We study regularity properties related to Cohen, random, Laver, Miller and Sacks forcing, for sets of real numbers on the ∆13 level of the projective hieararchy. For ∆12 and Σ 1 2 sets, the relationships between these properties follows the pattern of the well-known Cichoń diagram for cardinal characteristics of the continuum. It is known that assuming suitable large cardinals, the same relatio...
متن کاملForcing axioms and projective sets of reals
This paper is an introduction to forcing axioms and large cardinals. Specifically, we shall discuss the large cardinal strength of forcing axioms in the presence of regularity properties for projective sets of reals. The new result shown in this paper says that ZFC + the bounded proper forcing axiom (BPFA) + “every projective set of reals is Lebesgue measurable” is equiconsistent with ZFC + “th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 161 شماره
صفحات -
تاریخ انتشار 2010