scispace - formally typeset
Journal ArticleDOI

A model of set-theory in which every set of reals is Lebesgue measurable*

Robert Solovay
- 01 Jul 1970 - 
- Vol. 92, Iss: 1, pp 1
Reads0
Chats0
TLDR
The existence of a non-Lebesgue measurable set cannot be proved in Zermelo-Frankel set theory (ZF) if use of the axiom of choice is disallowed.
Abstract
We show that the existence of a non-Lebesgue measurable set cannot be proved in Zermelo-Frankel set theory (ZF) if use of the axiom of choice is disallowed. In fact, even adjoining an axiom DC to ZF, which allows countably many consecutive choices, does not create a theory strong enough to construct a non-measurable set. Let ZFC be Zermelo-Frankel set theory together with the axiom of choice. Let I be the statement: There is an inaccessible cardinal'.

read more

Citations
More filters
Book

Probability: Theory and Examples

TL;DR: In this paper, a comprehensive introduction to probability theory covering laws of large numbers, central limit theorem, random walks, martingales, Markov chains, ergodic theorems, and Brownian motion is presented.
Book

Algorithmic Information Theory

TL;DR: This paper reviews algorithmic information theory, which is an attempt to apply information-theoretic and probabilistic ideas to recursive function theory.
Book

Algorithmic Randomness and Complexity

TL;DR: This chapter discusses Randomness-Theoretic Weakness, Omega as an Operator, Complexity of C.E. Sets, and other Notions of Effective Randomness.
Book

Combinatorial Geometry

János Pach, +1 more
TL;DR: This discipline emerged from number theory after the fruitful observation made by Minkowski (1896) that many important results in diophantine approximation (and in some other central fields of number theory) can be established by easy geometric arguments.
References