A model of set-theory in which every set of reals is Lebesgue measurable
From MaRDI portal
Publication:2542987
DOI10.2307/1970696zbMath0207.00905OpenAlexW1969555173WikidataQ29393117 ScholiaQ29393117MaRDI QIDQ2542987
Publication date: 1970
Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/1970696
Consistency and independence results (03E35) Large cardinals (03E55) Models of arithmetic and set theory (03C62) Axiom of choice and related propositions (03E25) Other aspects of forcing and Boolean-valued models (03E40)
Related Items
Souslin partitions of products of finite sets ⋮ Infinite populations, choice and determinacy ⋮ Default consequence relations from topology and measure theory ⋮ On a nonstandard Brownian motion and its maximal function ⋮ Higher randomness and forcing with closed sets ⋮ Sweet \& sour and other flavours of ccc forcing notions ⋮ Proper forcing extensions and Solovay models ⋮ Paracompact in \(\mathsf{ZFC}\); CWN screenable Dowker in \(\mathsf{ZF}+\mathsf{AD}\) ⋮ Prolonged analytic connected group actions are generically free ⋮ Unnamed Item ⋮ Measure theory and higher order arithmetic ⋮ True or false? A case in the study of harmonic functions ⋮ Definability and almost disjoint families ⋮ Borel hierarchies in infinite products of Polish spaces ⋮ A game-theoretic equivalence to the Hahn-Banach theorem ⋮ Quantum mechanics, formalization and the cosmological constant problem ⋮ On countable cofinality and decomposition of definable thin orderings ⋮ Perfect subsets of invariant CA-sets ⋮ Large cardinals and definable counterexamples to the continuum hypothesis ⋮ Equivalence of generics ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Universal functions ⋮ A Characterization and Sum Decomposition for Operator Ideals ⋮ On the pointwise domination of a function by its maximal function ⋮ Lie groups as permutation groups: Ulam's problem in the nilpotent case ⋮ Infinitesimal analysis without the axiom of choice ⋮ Same graph, different universe ⋮ In memoriam: James Earl Baumgartner (1943--2011) ⋮ Saturated Ideals in Boolean Extensions ⋮ Absoluteness of the Solovay set \(\Sigma \) ⋮ Set theory and the analyst ⋮ A generalized Vitali set from nonextensive statistics ⋮ Locally compact, monotonically normal Dowker space in \(\mathsf{ZF+AD}\) ⋮ On filling families of finite subsets of the Cantor set ⋮ On one of Specker's theorems ⋮ Do simple infinitesimal parts solve Zeno's paradox of measure? ⋮ On the Reals Which Cannot Be Random ⋮ Against naturalized cognitive propositions ⋮ Infinite lotteries, large and small sets ⋮ On the equality relation modulo a countable set ⋮ COMPUTABLE STRUCTURES IN GENERIC EXTENSIONS ⋮ Modeling large societies: why countable additivity is necessary ⋮ Games of incomplete information, ergodic theory, and the measurability of equilibria ⋮ Linearization of definable order relations ⋮ Factoring Solovay-random extensions, with application to the reduction property ⋮ \(\mathbf{L}(\mathbb{R})\) with determinacy satisfies the Suslin hypothesis ⋮ On the non-existence of mad families ⋮ An infinite color analogue of Rado's theorem ⋮ Homogeneity for Open Partitions of Pairs of Reals ⋮ Cohen-stable families of subsets of integers ⋮ Large Cardinals and the Continuum Hypothesis ⋮ On social welfare orders satisfying anonymity and asymptotic density-one Pareto ⋮ A generic property of the Solovay set \(\Sigma\) ⋮ Countable OD sets of reals belong to the ground model ⋮ Unnamed Item ⋮ Beyond Erdős-Kunen-Mauldin: shift-compactness properties and singular sets ⋮ The Σ21 theory of axioms of symmetry ⋮ Fixed point algebras ⋮ Regular probability comparisons imply the Banach-Tarski paradox ⋮ Size direction games over the real line. II ⋮ Size direction games over the real line. III ⋮ Extensions of the measurable choice theorem by means of forcing ⋮ Levy and set theory ⋮ Axiom of choice and chromatic number of \(R^n\) ⋮ Specker’s theorem for Nöbeling’s group ⋮ Determinacy and weakly Ramsey sets in Banach spaces ⋮ Models of set theory with definable ordinals ⋮ A General Setting for the Pointwise Investigation of Determinacy ⋮ On the Theorem of Frullani ⋮ A guaranteed deterministic approach to superhedging: financial market model, trading constraints, and the Bellman-Isaacs equations ⋮ Cardinal Conditions for Strong Fubini Theorems ⋮ Combining monotonicity and strong equity: construction and representation of orders on infinite utility streams ⋮ Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski ⋮ Cohen and Set Theory ⋮ Set-theoretic geology ⋮ Iteration of Souslin forcing, projective measurability and the Borel conjecture ⋮ On the generalized nonmeasurability of vitali sets and Bernstein sets ⋮ Mathias and set theory ⋮ Deeply concatenable subgroups might never be free ⋮ Automatic Continuity of Group Homomorphisms ⋮ About Prikry generic extensions ⋮ Cardinality of the set of Vitali equivalence classes ⋮ Measure-theoretic applications of higher Demuth’s Theorem ⋮ The Hadwiger–Nelson Problem ⋮ What is the theory without power set? ⋮ How good is Lebesgue measure? ⋮ Turing determinacy and the continuum hypothesis ⋮ Directed graphs over topological spaces: some set theoretical aspects ⋮ Cichoń's maximum ⋮ Existence of nondetermined sets for some two person games over reals ⋮ Saccharinity ⋮ Non measurable partitions of the real line ⋮ Calibrating Randomness ⋮ Ideal games and Ramsey sets ⋮ Definable elements of definable Borel sets ⋮ Measurable cardinals and the continuum hypothesis ⋮ Summable gaps ⋮ A critical appraisal of second-order logic ⋮ ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS ⋮ Closed selections of Vitali's type ⋮ A minimal extension of Bayesian decision theory ⋮ The strength of Menger's conjecture ⋮ Can you take Solovay's inaccessible away? ⋮ A mathematical proof of S. Shelah's theorem on the measure problem and related results ⋮ Variations on a game of Gale. II: Markov strategies ⋮ The strength of measurability hypotheses ⋮ On measure and category ⋮ No decreasing sequence of cardinals ⋮ How recent work in mathematical logic relates to the foundations of mathematics ⋮ Fragments of Martin's axiom and \(\Delta_ 3^ 1\) sets of reals ⋮ Ordering infinite utility streams comes at the cost of a non-Ramsey set ⋮ On the difference between a Vitali-Bernstein selector and a partial Vitali-Bernstein selector ⋮ The axiom of determinacy and the modern development of descriptive set theory ⋮ Horocycle flows for laminations by hyperbolic Riemann surfaces and Hedlund's theorem ⋮ N. N. Luzin's problems on the existence of CA-sets without perfect subsets ⋮ Hidden variables in quantum mechanics: generic models, set-theoretic forcing, and the appearance of probability ⋮ Mathematical problems and games ⋮ Uniquely determined uniform probability on the natural numbers ⋮ Measurability of the value of a parametrized game ⋮ Countable ultraproducts without CH ⋮ Selctive ultrafilters and homogeneity ⋮ Projective forcing ⋮ The aftermath ⋮ A game of D. Gale in which one of the players has limited memory ⋮ Lindelöf models of the reals: solution to a problem of Sikorski ⋮ Infinite combinatorics and definability ⋮ Axiom of choice and chromatic number: Examples on the plane ⋮ On effective \(\sigma\)-boundedness and \(\sigma\)-compactness in Solovay's model ⋮ Exponents of some N-compact spaces ⋮ Cichoń's diagram, regularity properties and \(\varDelta^1_3\) sets of reals ⋮ An oracle builder's toolkit ⋮ Do stronger definitions of randomness exist? ⋮ Precipitous ideals and \(\sum^1_4\) sets ⋮ Axiom of choice and chromatic number of the plane ⋮ Eventually different functions and inaccessible cardinals ⋮ A theory of random numbers ⋮ Reversible parallel computation: An evolving space-model ⋮ Generic embeddings associated to an indestructibly weakly compact cardinal ⋮ An infinity which depends on the axiom of choice ⋮ A maximal definable sigma-ideal over \(omega_ 1\). ⋮ Definable forcing axiom: An alternative to Martin's axiom ⋮ Measure, randomness and sublocales ⋮ Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable ⋮ Developments from Ernst Specker's work in set theory ⋮ An introduction to infinite hat problems ⋮ A Suppes predicate for general relativity and set-theoretically generic spacetimes ⋮ Projective subsets of separable metric spaces ⋮ First steps towards an equilibrium theory for Lévy financial markets ⋮ Foundational aspects of singular integrals ⋮ On the separation of regularity properties of the reals ⋮ On the existence of product stochastic measures ⋮ Finite additivity, another lottery paradox and conditionalisation ⋮ On the effective content of asymptotic verifications of Edgeworth's Conjecture ⋮ An infinitary Ramsey property ⋮ A countable definable set containing no definable elements ⋮ Reductions between meager ideals ⋮ Remarks on two problems by M. Laczkovich on functions with Borel measurable differences ⋮ On a generalization of the Hadwiger-Nelson problem ⋮ Exact equiconsistency results for \(\Delta_ 3^ 1\)-sets of reals ⋮ A parallel to the null ideal for inaccessible \(\lambda\). I ⋮ On the boundedness of definable linear operators ⋮ Some measure theoretic results in effective descriptive set theory ⋮ Complexity classes of equivalence problems revisited ⋮ Elementary extensions of Levy's model of \(A^-_2\) ⋮ On cardinal collapsing with reals ⋮ Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem ⋮ On the consistency of Borel's conjecture ⋮ The fractional chromatic number of the plane ⋮ Borel preference orders in markets with a continuum of traders ⋮ Boolean-valued set theory and forcing ⋮ On the singular cardinals problem. I ⋮ A Ramsey theorem for trees, with an application to Banach spaces ⋮ On many-valued logics, fuzzy sets, fuzzy logics and their applications ⋮ Epireflections and supercompact cardinals ⋮ Towers in \([\omega^{\omega}\) and \(^{\omega}\omega\)] ⋮ Forcings with ideals and simple forcing notions ⋮ Parameterized partition relations on the real numbers ⋮ On the independence of core-equivalence results from Zermelo-Fraenkel set theory ⋮ Axioms of determinacy and biorthogonal systems ⋮ The classification problem for von Neumann factors ⋮ Surrealist landscape with figures (a survey of recent results in set theory) ⋮ Perfect-set properties in \(L(\mathbb{R})[U\)] ⋮ Diffeomorphism invariant norms on \(C^k(X)\) ⋮ Additive and multiplicative Ramsey theory in the reals and the rationals ⋮ The dual space of \(L_\infty\) is \(L_1\) ⋮ Some natural equivalence relations in the Solovay model ⋮ Infinite combinatorics and the foundations of regular variation ⋮ Mathematical quantum theory. I: Random ultrafilters as hidden variables ⋮ Combinatorial geometry ⋮ Generalization of P. S. Novikov's theorem on cross sections of Borel sets ⋮ A dual form of Ramsey's theorem ⋮ Some results on consecutive large cardinals ⋮ Retracted: Baire property and axiom of choice ⋮ N. N. Luzin's problems on imbeddability and decomposability of projective sets ⋮ Boolean-linear spaces ⋮ On the convenient setting for real analytic mappings ⋮ Regularity properties of definable sets of reals ⋮ Links between physics and set theory. ⋮ Generalization of one construction by Solovay ⋮ On Rado's boundedness conjecture ⋮ Determinacy and regularity properties for idealized forcings ⋮ TREES AND STATIONARY REFLECTION AT DOUBLE SUCCESSORS OF REGULAR CARDINALS ⋮ Nonmeasurable Vitali set: variations on theme ⋮ A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings ⋮ SET THEORY AND A MODEL OF THE MIND IN PSYCHOLOGY ⋮ Quasi-invariant measures on topological groups and \(\omega\)-powers ⋮ Negating the Galvin property ⋮ \(Cp (X)\) for Hattori spaces ⋮ Unnamed Item ⋮ On Russell typicality in set theory ⋮ Uniformization and internal absoluteness ⋮ Tarski's System of Geometry ⋮ The noncommutativity of random and generic extensions ⋮ Nonstandard Measure Theory: Avoiding Pathological Sets ⋮ Model theory under the axiom of determinateness ⋮ Extended ultrapowers and the Vopěnka-Hrbáček theorem without choice ⋮ Trees and -subsets of ω1ω1 ⋮ The mathematical significance of proof theory ⋮ A definable nonstandard model of the reals ⋮ Solovay models and forcing extensions ⋮ Potent Axioms ⋮ On uniform distribution for invariant extensions of the linear Lebesgue measure ⋮ Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes ⋮ Maximal almost disjoint families, determinacy, and forcing ⋮ THE CONSISTENCY STRENGTH OF THE PERFECT SET PROPERTY FOR UNIVERSALLY BAIRE SETS OF REALS ⋮ Weak partition relations and measurability ⋮ Hyperarithmetically Encodable Sets ⋮ HAPPY AND MAD FAMILIES INL(ℝ) ⋮ On ideals of subsets of the plane and on Cohen reals ⋮ Why Solovay real produces Cohen real ⋮ Exact functors, local connectedness and measurable cardinals ⋮ Measures: Back and Forth Between Point sets and Large sets ⋮ Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones ⋮ Polish topologies on endomorphism monoids of relational structures ⋮ Small filter forcing ⋮ The strength of de Finetti's coherence theorem ⋮ Proving Theorems from Reflection ⋮ On expandability of models of Peano arithmetic to models of the alternative set theory ⋮ Revisiting the fundamental theorem of calculus ⋮ A Groszek‐Laver pair of undistinguishable ‐classes ⋮ On Perfect Measures ⋮ Disjoint embeddings of compacta ⋮ A special class of almost disjoint families ⋮ Some Properties of Measure and Category ⋮ EQUIVALENCE RELATIONS WHICH ARE BOREL SOMEWHERE ⋮ UNIVERSALLY BAIRE SETS AND GENERIC ABSOLUTENESS ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ A note on the measure problem ⋮ Generic extensions of models of ZFC ⋮ Five stages of accepting constructive mathematics ⋮ The Mathematical Development of Set Theory from Cantor to Cohen ⋮ Discontinuous homomorphisms, selectors, and automorphisms of the complex field ⋮ Cayley graphs of finitely generated groups ⋮ One hundred and two problems in mathematical logic ⋮ MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER ⋮ BOREL FUNCTORS AND INFINITARY INTERPRETATIONS ⋮ Martin's axioms, measurability and equiconsistency results ⋮ An Ulm-type classification theorem for equivalence relations in Solovay model ⋮ Measurable sets with excluded distances ⋮ An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited ⋮ Completely Additive Liftings ⋮ Finitely additive measures on \(\mathbb{N}\) ⋮ Ultrafilters: Some old and some new results ⋮ On Martin’s pointed tree theorem ⋮ Abstract Theory of Abelian Operator Algebras: An Application of Forcing ⋮ A Paradox Arising from the Elimination of a Paradox ⋮ Borel sets and Ramsey's theorem ⋮ Solovay-type characterizations for forcing-algebras ⋮ Extending classical criteria for differentiation theorems ⋮ The existence of non-trivial bounded functionals implies the Hahn-Banach extension theorem ⋮ An Extension of the Baire Property ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Ramsey's theorem in the hierarchy of choice principles ⋮ Maximal chains in the Turing degrees ⋮ Nonexistence of Measurable Optimal Selections ⋮ Definability of measures and ultrafilters ⋮ Why Sets? ⋮ Partial order embeddings with convex range ⋮ Regularity properties on the generalized reals ⋮ Spectra of uniformity ⋮ Liftings and the Property of Baire in Locally Compact Groups ⋮ On the upper semi-lattice of -degrees ⋮ The Lebesgue decomposition ⋮ Metric dimensions and tameness in expansions of the real field ⋮ Некоторые замечания о нестандартных методах анализа. I ⋮ Теорема Гордона: истоки и смысл ⋮ Mansfield and Solovay type results on covering plane sets by lines ⋮ Definability in models of set theory ⋮ Formal Proof: Reconciling Correctness and Understanding ⋮ Lusin Sets and Well Ordering the Continuum ⋮ Countable partitions of product spaces ⋮ Projective Measure Without Projective Baire ⋮ Measure-theoretic uniformity and the Suslin functional ⋮ An absoluteness principle for Borel sets ⋮ Unnamed Item ⋮ Non-meager free sets for meager relations on Polish spaces ⋮ Reflecting stationary sets ⋮ DEPENDENT CHOICE, PROPERNESS, AND GENERIC ABSOLUTENESS ⋮ On a Ubiquitous Cardinal ⋮ A RECONSTRUCTION OF STEEL’S MULTIVERSE PROJECT ⋮ The model of set theory generated by countably many generic reals ⋮ Boolean Valued Analysis: Background and Results ⋮ Determinateness and Partitions ⋮ The Baire category theorem and cardinals of countable cofinality ⋮ The κ-closed unbounded filter and supercpmpact cardinals ⋮ Generic Families and Models of Set Theory with the Axiom of Choice ⋮ Computability of Subsets of Metric Spaces ⋮ All operators on a Hilbert space are bounded
