Why not adopt the constructibility axiom $V=L$? - MathOverflow
May 20, 2019 · (I've actually seen it claimed, by a competent non-set-theorist, that V=L prevents Banach-Tarski - by virtue of implying that every set of reals is Borel.) And there are even …
The Ultimate L in a Nutshell: On Descriptive Articles
May 15, 2017 · W. Hugh Woodin. The Axiom V = Ultimate-L. In preparation, 2016. W. Hugh Woodin. Fine Structure at the ...
Omega logic, V = Ultimate L and hierarchy of laws collapse
May 24, 2023 · In his lecture Prof. Hugh Woodin have stated that "Assuming the omega conjecture, then from the universal laws of V_omega + 2 one can compute universal laws for …
Nice algebraic statements independent from ZF + V=L …
The main reason for this is that one cannot directly use forcing to prove that a statement is independent of ZFC+V=L, because no nontrivial forcing extension can satisfy this theory. …
Axiom of Choice versus V=L in opposition to large cardinals
Jan 8, 2019 · Stack Exchange Network. Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for …
Set Theory and V=L - MathOverflow
$\begingroup$ For your question about satisfaction, you don't need to translate it separately into an arithmetic statement---the general phenomenon is that when a real codes a countable …
Strongest large cardinal axiom compatible with $V = L$?
Dec 13, 2014 · Using the ``instrumentalist dodge'' of Steel/Hamkins, it seems that we can "cheat" to obtain stronger large cardinal axioms within the confines of $\operatorname{ZF}+(V = L)$, …
set theory - Minimum transitive models and V=L - MathOverflow
Jan 8, 2023 · This is not a full answer, but I found it interesting to notice that if we relax the c.e. requirement somewhat, then there is a sweeping positive answer.
What is the evidence for and against the HOD conjecture?
Jun 29, 2023 · For example, under $\text{AD}^+ + V=L(P(ℝ))$, the Ultrapower Axiom holds in HOD (Generalizations of the Ultrapower Axiom by Goldberg, 2023). Large cardinal axioms in …
Universe V = Ultimate L inside set theoretic multiverse
May 28, 2023 · Good day to you all, I would like to ask a question about relation between Prof. H. Woodin V = Ultimate L and a concept of set theoretical multiverse as proposed by Prof. …