Misplaced Pages

Computable measure theory

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

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. 3421–3431.
  • Abbas Edalat (2009), "A computable approach to measure and integration theory", Information and Computation 207:5, pp. 642–659.
  • Stephen G. Simpson (2009), Subsystems of second order arithmetic, 2nd ed., Perspectives in Logic, Cambridge University Press. ISBN 978-0-521-88439-6
Stub icon

This mathematical analysis–related article is a stub. You can help Misplaced Pages by expanding it.

Stub icon

This mathematical logic-related article is a stub. You can help Misplaced Pages by expanding it.

Categories: