Some combinatorial properties of Ultimate L and V

arXiv2007.04812MaRDI QIDQ6344761FDOQ6344761

Publication date: 9 July 2020

Abstract: This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's hypothesized Ultimate (L), providing some evidence for the Ultimate (L) Conjecture. We show that every regular cardinal above the first strongly compact that carries an indecomposable ultrafilter is measurable, answering a question of Silver for large enough cardinals. We show that any successor almost strongly compact cardinal of uncountable cofinality is strongly compact, making progress on a question of Boney, Unger, and Brooke-Taylor. We show that if there is a proper class of strongly compact cardinals then there is no nontrivial cardinal preserving elementary embedding from the universe of sets into an inner model, answering a question of Caicedo granting large cardinals. Finally, we show that if (kappa) is strongly compact, then (V) is a set forcing extension of the inner model (kappa ext{-HOD}) consisting of sets that are hereditarily ordinal definable from a (kappa)-complete ultrafilter over an ordinal; (kappa ext{-HOD}) seems to be the first nontrivial example of a ground of (V) whose definition does not involve forcing.

This page was built for publication: Some combinatorial properties of Ultimate L and V

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6344761)