On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor

DOI10.1017/JSL.2022.71MaRDI QIDQ6642876

Sam Sanders, Dag Normann

Publication date: 25 November 2024

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

bounded variationreverse mathematicscountable setsregulated functionsBolzano-Weierstrass theoremhigher-order computabilityKleene's S1--S9

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30) Hierarchies of computability and definability (03D55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reverse mathematics and uniformity in proofs without excluded middle
• The metamathematics of scattered linear orderings
• Foundational studies. Selected works. Vol. I, II
• A translation of Bolzano's paper on the intermediate value theorem
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Constructivism in mathematics. An introduction. Volume II
• Leçons sur la théorie des fonctions. 3. éd.
• Beitrage zur Begründung der transfiniten Mengenlehre. Art. I.
• On functions of \(n\) complex variables.
• General investigations on the rectification of curves.
• Ueber eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen.
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• Effective Jordan decomposition
• Reverse mathematics of topology: dimension, paracompactness, and splittings
• Highness properties close to PA completeness
• Between Turing and Kleene
• Lifting recursive counterexamples to higher-order arithmetic
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Pincherle's theorem in reverse mathematics and computability theory
• The strength of compactness in computability theory and nonstandard analysis
• Classical consequences of continuous choice principles from intuitionistic analysis
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
• Omniscience principles and functions of bounded variation
• On uniform relationships between combinatorial problems
• Bounded variation and the strength of Helly's selection theorem
• Uniform versions of some axioms of second order arithmetic
• Open Questions in Reverse Mathematics
• Recursive Functionals and Quantifiers of Finite Types I
• REVERSE MATHEMATICS OF MF SPACES
• Higher-Order Computability
• Bounded variation implies regulated: a constructive proof
• A Constructive Look at Functions of Bounded Variation
• A weak countable choice principle
• The Axiom of Choice in computability theory and Reverse Mathematics with a cameo for the Continuum Hypothesis
• Countable sets versus sets that are countable in reverse mathematics
• The strength of compactness for countable complete linear orders
• COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS
• On the mathematical and foundational significance of the uncountable
• Bounded Variation and Around
• A Note on the Sequential Version of ${\rm \Pi^1_2}$ Statements
• On the strength of marriage theorems and uniformity
• Representations of Reals in Reverse Mathematics
• Reverse Mathematics and Π¹₂ Comprehension
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• The Lengths of Curves
• Über das Unendliche.
• Sur quelques points de la théorie des ensembles.
• On Fourier series
• Axiom of choice
• The axiom of choice
• On infinite linear point manifolds.

Related Items (4)

Exploring the abyss in Kleene's computability theory ⋮ Computability and non-monotone induction ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 ⋮ Connecting real and hyperarithmetical analysis

This page was built for publication: On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor

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