Теория вычислимой меры
В математике , теория вычислимой меры является частью вычислимого анализа которая имеет дело с эффективными версиями теории меры .
Ссылки [ править ]
- Джереми Авигад (2012), «Обращение соответствия Фюрстенберга», Дискретные и непрерывные динамические системы , серия A, 32, стр. 3421–3431.
- Аббас Эдалат (2009), «Вычислимый подход к теории измерения и интеграции», Information and Computation 207:5, стр. 642–659.
- Стивен Г. Симпсон (2009), Подсистемы арифметики второго порядка , 2-е изд., Перспективы логики, Cambridge University Press. ISBN 978-0-521-88439-6