Cousin’s lemma in second-order arithmetic

DOI10.1090/BPROC/111MaRDI QIDQ5072245zbMATH OpenOpenAlexWikidataFDO

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)

Copyright license Creative Commons Attribution-NonCommercial 4.0 International

Full work available at URL https://arxiv.org/abs/2105.02975

Mathematics Subject Classification ID

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)

Recommendations

• On the mathematical and foundational significance of the uncountable
• Lebesgue Convergence Theorems and Reverse Mathematics
• Measure theory and weak König's lemma
• Cousin's Lemma
• Lebesgue numbers and Atsuji spaces in subsystems of second-order arithmetic

Cites work

• scientific article; zbMATH DE number 4010839 (Why is no real title available?)
• scientific article; zbMATH DE number 194103 (Why is no real title available?)
• scientific article; zbMATH DE number 646228 (Why is no real title available?)
• scientific article; zbMATH DE number 218581 (Why is no real title available?)
• A Classification of Baire Class 1 Functions
• Definability aspects of the Denjoy integral
• Effective genericity and differentiability
• Generalized ordinary differential equations and continuous dependence on a parameter
• Is nonabsolute integration worth doing?
• Notes on computable analysis
• On the mathematical and foundational significance of the uncountable
• Open sets in computability theory and reverse mathematics
• Recursion theory week. Proceedings of a conference held in Oberwolfach, Germany, March 19-25, 1989
• Reverse mathematics and rank functions for directed graphs
• Subsystems of second order arithmetic
• The complexity of antidifferentiation

Cited in

(5)

• Reverse mathematics of the uncountability of \(\mathbb{R}\)
• The non-normal abyss in Kleene's computability theory
• COMPUTABLY COMPACT METRIC SPACES
• Cousin's lemma in second-order arithmetic
• Cousin's Lemma

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)