Vitali's Theorem and WWKL

Douglas K. Brown, Mariagnese Giusto, Stephen G. Simpson

Type: Article

Publication Date: 2002-02-01

Citations: 31

DOI: https://doi.org/10.1007/s001530100100

Similar Works

Action	Title	Year	Authors
+ PDF Chat	A general form of the Vitali theorem	1975	Miguel de Guzmán
+	Kellogg's theorem	2006	John Wermer
+	Brun’s theorem	2019	Stephan Ramon Garcia Stephen R. Miller
+	Miquel's Theorem	2008
+	GLEASON'S THEOREM	1986
+	Ronkar's theorem	1885	C.
+	§8.4 The Vitali Convergence Theorem	2001
+	Malmheden's theorem revisited	2010	Mark Agranovsky Dmitry Khavinson H. S. Shapiro
+	Bruns’ Theorem	1984	Roger Cooke
+	1018. Tannery's Theorem	1932	A. J. Ward
+	An analog of the Vitali-Hahn-Saks theorem	1976	Николай Степанович Гусельников
+	Viviani's Theorem	2008
+	Belyi's Theorem Revisited	2004	Bernhard Köck
+	Thevenin's Theorem and Related Topics	1997	I.D. Mayergoyz W. Lawson
+	Kemer’s Capelli Theorem	2015
+	Kemer’s Capelli Theorem	2015
+	Elfving's Theorem Revisited	2004	W. J. Studden
+	Miquel’s Theorem	1926	E. H. N.
+	Greiner's Theorem	2016	Adam Bobrowski
+	Goedel’s Theorem	1987	Graham Priest

Action	Title	Year	Authors
+	On the close interaction between algorithmic randomness and constructive/computable measure theory	2018	Jason Rute
+	How can a line segment with extension be composed of extensionless points?	2022	Brian Reese Michael Vazquez Scott Weinstein
+ PDF Chat	Fundamental notions of analysis in subsystems of second-order arithmetic	2005	Jeremy Avigad Ksenija Simic
+ PDF Chat	The Vitali Covering Theorem in the Weihrauch Lattice	2016	Vasco Brattka Guido Gherardi Rupert Hölzl Arno Pauly
+	Mass Problems and Randomness	2005	Stephen G. Simpson
+	The Gödel hierarchy and reverse mathematics	2010	Stephen G. Simpson
+	Pathwise-random trees and models of second-order arithmetic	2021	George Barmpalias Wei Wang
+	SOME FUNDAMENTAL ISSUES CONCERNING DEGREES OF UNSOLVABILITY	2008	Stephen G. Simpson
+	Almost everywhere domination	2004	Natasha Dobrinen Stephen G. Simpson
+ PDF Chat	Finding paths through narrow and wide trees	2009	Stephen Binns Bjørn Kjos-Hanssen

Action	Title	Year	Authors
+	Countable algebra and set existence axioms11Research partially supported by NSF grants MCS-79-23743, MCS-78-02558, and MCS 8107867. Simpson's research was also supported by an Alfred P. Sloan Research Fellowship.	1983	Harvey M. Friedman Stephen G. Simpson Rick L. Smith
+	Subsystems of Second Order Arithmetic	1999	Stephen G. Simpson
+	Addendum to “countable algebra and set existence axioms”	1985	Harvey M. Friedman Stephen G. Simpson Rick L. Smith
+	On relative randomness	1993	Antonín Kučera
+	Partial realizations of Hilbert's program	1988	Stephen G. Simpson
+	A study of singular points and supports of measures in reverse mathematics	1996	Xiaokang Yu
+	Measure theory and weak König's lemma	1990	Xiaokang Yu Stephen G. Simpson
+	The Baire category theorem in weak subsystems of second-order arithmetic	1993	Douglas K. Brown Stephen G. Simpson
+	The definition of random sequences	1966	Per Martin-Löf
+	Riesz representation theorem, Borel measures and subsystems of second-order arithmetic	1993	Xiaokang Yu