Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
From MaRDI portal
Publication:917547
DOI10.1007/BF02801471zbMath0705.03028OpenAlexW2038308063MaRDI QIDQ917547
Saharon Shelah, W. Hugh Woodin
Publication date: 1990
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf02801471
Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Related Items (32)
Souslin partitions of products of finite sets ⋮ Default consequence relations from topology and measure theory ⋮ Solovay models and forcing extensions ⋮ Iterated forcing and normal ideals on \(\omega _ 1\) ⋮ Some results on the nonstationary ideal. II ⋮ On certain indestructibility of strong cardinals and a question of Hajnal ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ Set theory and the analyst ⋮ The relative strengths of fragments of Martin's axiom ⋮ What makes the continuum ℵ₂ ⋮ Local Ramsey theory: an abstract approach ⋮ Baire irresolvable spaces and lifting for a layered ideal ⋮ A dichotomy for the definable universe ⋮ Some applications of coarse inner model theory ⋮ On some properties of Shelah cardinals ⋮ Topics in set theory. Lebesgue measurability, large cardinals, forcing axioms, rho-functions ⋮ Iteration Trees ⋮ An Easton like theorem in the presence of Shelah cardinals ⋮ A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) ⋮ Coding into Ramsey sets ⋮ A local Ramsey theory for block sequences ⋮ Does Mathematics Need New Axioms? ⋮ Does Mathematics Need New Axioms? ⋮ Universally measurable sets may all be \(\mathop{\Delta}\limits_\sim{}^1_2\) ⋮ Epireflections and supercompact cardinals ⋮ Incompatible Ω-Complete Theories ⋮ Semiselective coideals ⋮ Large cardinals and continuity of coordinate functionals of filter bases in Banach spaces ⋮ CLASSES OF BARREN EXTENSIONS ⋮ The large cardinals between supercompact and almost-huge ⋮ Coding with ladders a well ordering of the reals
Cites Work
- Around classification theory of models
- Martin's maximum, saturated ideals, and nonregular ultrafilters. I
- Iterated forcing and normal ideals on \(\omega _ 1\)
- Descriptive set theory
- Precipitous ideals and \(\sum^1_4\) sets
- Proper forcing
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- A model of set-theory in which every set of reals is Lebesgue measurable
- Potent Axioms
- Foundations of Mathematics
- On sequences generic in the sense of Prikry
This page was built for publication: Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
