Cousin’s lemma in second-order arithmetic
From MaRDI portal
Publication:5072245
DOI10.1090/bproc/111OpenAlexW3160565071WikidataQ124982447 ScholiaQ124982447MaRDI QIDQ5072245
Noam Greenberg, Jordan Mitchell Barrett, Rodney G. Downey
Publication date: 27 April 2022
Published in: Proceedings of the American Mathematical Society, Series B (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.02975
Foundations of classical theories (including reverse mathematics) (03B30) Denjoy and Perron integrals, other special integrals (26A39) Second- and higher-order arithmetic and fragments (03F35) Computation over the reals, computable analysis (03D78)
Related Items (3)
The non-normal abyss in Kleene's computability theory ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Reverse mathematics of the uncountability of \(\mathbb{R}\)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notes on computable analysis
- The complexity of antidifferentiation
- Recursion theory week. Proceedings of a conference held in Oberwolfach, Germany, March 19-25, 1989
- Is nonabsolute integration worth doing?
- Reverse mathematics and rank functions for directed graphs
- Effective genericity and differentiability
- Definability aspects of the Denjoy integral
- A Classification of Baire Class 1 Functions
- Generalized ordinary differential equations and continuous dependence on a parameter
- Open sets in computability theory and reverse mathematics
- On the mathematical and foundational significance of the uncountable
This page was built for publication: Cousin’s lemma in second-order arithmetic
