The Vitali covering theorem in constructive mathematics

DOI10.4115/JLA.2012.4.7zbMath1291.03114OpenAlexW2037466421MaRDI QIDQ3145976

Hannes Diener, Anton Hedin

Publication date: 17 December 2012

Published in: Journal of Logic and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4115/jla.2012.4.7

zbMATH Keywords

constructive mathematicsreverse mathematicsmeasure theoryformal topologylocale theoryVitali's covering theorem

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Frames, locales (06D22) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Other connections with logic and set theory (28E15)

Related Items (2)

The Vitali Covering Theorem in the Weihrauch Lattice ⋮ Bishop-Style Constructive Reverse Mathematics

This page was built for publication: The Vitali covering theorem in constructive mathematics