Editing Computable measure theory

In [[mathematics]], '''computable measure theory''' is the part of [[computable analysis]] that deals with effective versions of [[measure theory]]. 

== References ==
* Jeremy Avigad (2012), "Inverting the Furstenberg correspondence", ''Discrete and Continuous Dynamical Systems'', Series A, 32, pp.&nbsp;3421&ndash;3431.
* Abbas Edalat  (2009), "A computable approach to measure and integration theory", ''Information and Computation'' 207:5, pp.&nbsp;642&ndash;659.
* Stephen G. Simpson (2009), ''Subsystems of second order arithmetic'', 2nd ed., Perspectives in Logic, Cambridge University Press. {{ISBN|978-0-521-88439-6}}

[[Category:Measure theory]]
[[Category:Computable analysis]]

{{Mathanalysis-stub}}
{{mathlogic-stub}}