Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
From MaRDI portal
Publication:917547
DOI10.1007/BF02801471zbMath0705.03028MaRDI QIDQ917547
Saharon Shelah, W. Hugh Woodin
Publication date: 1990
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
28A05: Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets
03E45: Inner models, including constructibility, ordinal definability, and core models
03E55: Large cardinals
Related Items
Some applications of coarse inner model theory, Iteration Trees, A dichotomy for the definable universe, Solovay models and forcing extensions, Does Mathematics Need New Axioms?, Does Mathematics Need New Axioms?, A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\), Some results on the nonstationary ideal. II, Souslin partitions of products of finite sets, Coding into Ramsey sets, Coding with ladders a well ordering of the reals, Semiselective coideals