Connecting real and hyperarithmetical analysis
From MaRDI portal
Cites work
- A Constructive Look at Functions of Bounded Variation
- A general theory of limits.
- Absolute differentiation in metric spaces
- ALMOST THEOREMS OF HYPERARITHMETIC ANALYSIS
- Applied analysis
- Basic real analysis
- Bounded variation and around
- Bounded variation and the strength of Helly's selection theorem
- Bounded variation implies regulated: a constructive proof
- Comparing theorems of hyperarithmetic analysis with the arithmetic Bolzano-Weierstrass theorem
- Contribution à l'analyse arithmétique du continu.
- Convergence and uniformity in topology.
- Countable sets versus sets that are countable in reverse mathematics
- Definition of limit in general integral analysis.
- Effective Jordan decomposition
- Evolution of the Topological Concept of "Connected"
- General investigations on the rectification of curves.
- Highness properties close to PA completeness
- scientific article; zbMATH DE number 4134040 (Why is no real title available?)
- scientific article; zbMATH DE number 4070894 (Why is no real title available?)
- scientific article; zbMATH DE number 3176053 (Why is no real title available?)
- scientific article; zbMATH DE number 3767656 (Why is no real title available?)
- scientific article; zbMATH DE number 3777779 (Why is no real title available?)
- scientific article; zbMATH DE number 3479763 (Why is no real title available?)
- scientific article; zbMATH DE number 1030714 (Why is no real title available?)
- scientific article; zbMATH DE number 1461253 (Why is no real title available?)
- scientific article; zbMATH DE number 2168579 (Why is no real title available?)
- scientific article; zbMATH DE number 3255438 (Why is no real title available?)
- scientific article; zbMATH DE number 3322954 (Why is no real title available?)
- scientific article; zbMATH DE number 2236626 (Why is no real title available?)
- scientific article; zbMATH DE number 2236640 (Why is no real title available?)
- scientific article; zbMATH DE number 3064374 (Why is no real title available?)
- INDECOMPOSABLE LINEAR ORDERINGS AND HYPERARITHMETIC ANALYSIS
- Introduction to the study of number theory and higher algebra
- Introduction to topological manifolds
- Investigations of infinitely often oscillating and discontinuous functions.
- Memoir on discontinuous functions.
- Metric spaces. A companion to analysis
- Necessary use of \(\Sigma ^1_{1}\) induction in a reversal
- Omniscience principles and functions of bounded variation
- On Fourier series
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- On the concept of definite integral.
- On the uncountability of \(\mathbb{R}\)
- On Weierstrass extreme value theorem
- Proofs and refutations. The logic of mathematical discovery. Edited by John Worrall and Elie Zahar
- Reverse Mathematics
- Splittings and disjunctions in reverse mathematics
- Subsystems of second order arithmetic
- Sur l'approximation les uns par les autres des nombres formant un ensemble dénombrable.
- The Lengths of Curves
- THE REVERSE MATHEMATICS OF THEOREMS OF JORDAN AND LEBESGUE
- THE STRENGTH OF AN AXIOM OF FINITE CHOICE FOR BRANCHES IN TREES
- The Structure of the Real Line
- Theorems of hyperarithmetic analysis and almost theorems of hyperarithmetic analysis
- Theory of relations. Transl. from the French by P. Clote. With an appendix by Norbert Sauer.
- Topology. Translated from the Italian by Simon G. Chiossi
- Uniform versions of some axioms of second order arithmetic
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)
