Martin's Maximum${}^{++}$ implies Woodin's axiom $(*)$
نویسندگان
چکیده
We show that Martin's Maximum${}^{++}$ implies Woodin's $\mathbb{P}_{\mathrm{max}}$ axiom $(*)$. This answers a question from the 1990s and amalgamates two prominent axioms of set theory which were both known to imply there are $?_2$ many real numbers.
منابع مشابه
The Axiom of Determinancy Implies Dependent Choices in L(R)
We prove the following Main Theorem: ZF + AD + V L(R) =>DC. As a corollary we have that Con(ZF + AD) Con(ZF + AD + DC). Combined with the result of Woodin that Con(ZF + AD) Con(ZF + AD + AC') it follows that DC (as well as AC') is independent relative to ZF + AD. It is finally shown (jointly with H. Woodin) that ZF + AD + DCR, where DCR is DC restricted to reals, implies the consistency of ZF +...
متن کاملMaximum walk entropy implies walk regularity
Article history: Received 2 March 2014 Accepted 18 June 2014 Available online 9 July 2014 Submitted by R. Brualdi MSC: 05C50 15A16 82C20
متن کاملWoodin ’ s axiom ( ∗ ) , or Martin ’ s Maximum , or both ? Ralf
We present and discuss a new axiom, Martin’s Maximum∗,++, cf. Definition 2.10, which amalgamates Woodin’s Pmax axiom (∗) and Martin’s Maximum++. If a mathematical object can be imagined in a reasonable way, then it exists!
متن کاملThe maximum principle in forcing and the axiom of choice
In this paper we prove that the maximum principle in forcing is equivalent to the axiom of choice. We also look at some specific partial orders in the basic Cohen model. Lately we have been thinking about forcing over models of set theory which do not satisfy the axiom of choice (see Miller [8, 9]). One of the first uses of the axiom of choice in forcing is: Maximum Principle p ∃x θ(x) iff ther...
متن کاملThe Existence of Level Sets in a Free Group Implies the Axiom of Choice
Since all known proofs of the NIELSEN-SCHREIER theorem (every subgroup of a free group is free, henceforth denoted by (NS)) make use of the axiom of choice (AC) it is reasonable to conjecture that some form of (AC) is necessary to prove (NS). (See [ l ] , [3], [5] and [S] for several proofs of (NS).) This conjecture was verified by LAUCHLI in [4], where it was shown that the negation of (NS) is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Mathematics
سال: 2021
ISSN: ['1939-8980', '0003-486X']
DOI: https://doi.org/10.4007/annals.2021.193.3.3