On sequential theorems in reverse mathematics

DOI10.1007/S00153-025-00991-4MaRDI QIDQ6857832zbMATH OpenFDO

Authors Dag Normann, Sam Sanders

Publication date 16 February 2026

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S00153-025-00991-4

zbMATH Keywords

choice principlesCICHeine-Borel theoremhigher-order arithmeticOC\(^{0,0}\)reverse mathematicssemi-continuitysequential theorems

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

Cites work

• A note on the sequential version of ^1_2 statements
• Approximations of semicontinuous functions with applications to stochastic optimization and statistical estimation
• Big in reverse mathematics: measure and category
• Big in reverse mathematics: the uncountability of the reals
• Brouwer's fan theorem and unique existence in constructive analysis
• Classical consequences of continuous choice principles from intuitionistic analysis
• Connecting real and hyperarithmetical analysis
• Ekeland's variational principle in weak and strong systems of arithmetic
• Higher-order computability
• scientific article; zbMATH DE number 4002093 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 1030714 (Why is no real title available?)
• scientific article; zbMATH DE number 1549895 (Why is no real title available?)
• scientific article; zbMATH DE number 2236640 (Why is no real title available?)
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
• On functions of n complex variables.
• On Real-Valued Functions in Topological Spaces
• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
• On the mathematical and foundational significance of the uncountable
• On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness
• On the strength of marriage theorems and uniformity
• On the uncountability of \(\mathbb{R}\)
• On uniform relationships between combinatorial problems
• On uniform weak König's lemma
• On Weierstrass extreme value theorem
• Open sets in computability theory and reverse mathematics
• Pincherle's theorem in reverse mathematics and computability theory
• Representations and the foundations of mathematics
• Representations of Reals in Reverse Mathematics
• Reverse Mathematics
• Reverse mathematics and uniformity in proofs without excluded middle
• Reverse mathematics, trichotomy and dichotomy
• Some characterizations of normal and perfectly normal spaces
• Standard and non-standard analysis in second order arithmetic
• Subsystems of second order arithmetic
• Sur quelques points de la théorie des ensembles.
• The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
• The biggest five of reverse mathematics
• The Dirac delta function in two settings of reverse mathematics
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• Über halbstetige und unstetige Funktionen.

This page was built for publication: On sequential theorems in reverse mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6857832)