The reverse mathematics of theorems of Jordan and Lebesgue
From MaRDI portal
Publication:6285139
DOI10.1017/jsl.2021.16arXiv1704.00931MaRDI QIDQ6285139
Keita Yokoyama, Marcus A. Triplett, André Nies
Publication date: 4 April 2017
Foundations of classical theories (including reverse mathematics) (03B30) Computation over the reals, computable analysis (03D78)
This page was built for publication: The reverse mathematics of theorems of Jordan and Lebesgue