Vitali's Theorem and WWKL

Continuing the investigations of X. Yu and others, we study the role of set existence axioms in classical Lebesgue measure theory. We showthat pairwise disjoint countable additivity for open sets of reals is provable in RCA0. We show that several well-known measure-theoretic propositions including t...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Archive for mathematical logic 2002-02, Vol.41 (2), p.191-206
Hauptverfasser:	Brown, Douglas K., Giusto, Mariagnese, Simpson, Stephen G.
Format:	Artikel
Sprache:	eng
Schlagworte:	Logic Mathematics Theory
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!