Cousin’s lemma in second-order arithmetic
DOI10.1090/BPROC/111OpenAlexW3160565071WikidataQ124982447 ScholiaQ124982447MaRDI QIDQ5072245FDOQ5072245
Authors: Jordan Mitchell Barrett, Noam Greenberg, 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
Recommendations
Computation over the reals, computable analysis (03D78) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Denjoy and Perron integrals, other special integrals (26A39)
Cites Work
- Subsystems of second order arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Classification of Baire Class 1 Functions
- Generalized ordinary differential equations and continuous dependence on a parameter
- Reverse mathematics and rank functions for directed graphs
- Effective genericity and differentiability
- Notes on computable analysis
- Title not available (Why is that?)
- The complexity of antidifferentiation
- Definability aspects of the Denjoy integral
- On the mathematical and foundational significance of the uncountable
- Recursion theory week. Proceedings of a conference held in Oberwolfach, Germany, March 19-25, 1989
- Title not available (Why is that?)
- Is nonabsolute integration worth doing?
- Open sets in computability theory and reverse mathematics
Cited In (5)
This page was built for publication: Cousin’s lemma in second-order arithmetic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5072245)
