Connecting real and hyperarithmetical analysis

DOI10.4171/DM/981MaRDI QIDQ6670899

Sam Sanders

Publication date: 24 January 2025

Published in: Documenta Mathematica (Search for Journal in Brave)

zbMATH Keywords

higher-order arithmetichyperarithmetical analysis

Mathematics Subject Classification ID

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

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?)
• Definition of limit in general integral analysis.
• Sur l'approximation les uns par les autres des nombres formant un ensemble dénombrable.
• Contribution à l'analyse arithmétique du continu.
• General investigations on the rectification of curves.
• Investigations of infinitely often oscillating and discontinuous functions.
• Memoir on discontinuous functions.
• Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
• Effective Jordan decomposition
• Highness properties close to PA completeness
• Splittings and disjunctions in reverse mathematics
• On Weierstrass extreme value theorem
• Applied analysis
• Omniscience principles and functions of bounded variation
• Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
• Basic Real Analysis
• Bounded variation and the strength of Helly's selection theorem
• Necessary use of induction in a reversal
• Introduction to Topological Manifolds
• Uniform versions of some axioms of second order arithmetic
• The Structure of the Real Line
• Evolution of the Topological Concept of "Connected"
• Bounded variation implies regulated: a constructive proof
• A Constructive Look at Functions of Bounded Variation
• THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
• Metric Spaces
• Countable sets versus sets that are countable in reverse mathematics
• ON THE UNCOUNTABILITY OF
• THEOREMS OF HYPERARITHMETIC ANALYSIS AND ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
• Reverse Mathematics
• Topology
• Proofs and Refutations
• Bounded Variation and Around
• INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
• The Lengths of Curves
• A general theory of limits.
• On Fourier series
• Introduction to the study of number theory and higher algebra
• On the concept of definite integral.
• Convergence and uniformity in topology.
• ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
• THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
• On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor

This page was built for publication: Connecting real and hyperarithmetical analysis

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