The biggest five of reverse mathematics
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 4134040 (Why is no real title available?)
- scientific article; zbMATH DE number 5841426 (Why is no real title available?)
- scientific article; zbMATH DE number 3840019 (Why is no real title available?)
- scientific article; zbMATH DE number 3706504 (Why is no real title available?)
- scientific article; zbMATH DE number 42114 (Why is no real title available?)
- scientific article; zbMATH DE number 3536056 (Why is no real title available?)
- scientific article; zbMATH DE number 3594611 (Why is no real title available?)
- scientific article; zbMATH DE number 1215497 (Why is no real title available?)
- scientific article; zbMATH DE number 1324223 (Why is no real title available?)
- scientific article; zbMATH DE number 1314876 (Why is no real title available?)
- scientific article; zbMATH DE number 1354815 (Why is no real title available?)
- scientific article; zbMATH DE number 1030714 (Why is no real title available?)
- scientific article; zbMATH DE number 1178976 (Why is no real title available?)
- scientific article; zbMATH DE number 1870414 (Why is no real title available?)
- scientific article; zbMATH DE number 1909499 (Why is no real title available?)
- scientific article; zbMATH DE number 7343733 (Why is no real title available?)
- scientific article; zbMATH DE number 3322954 (Why is no real title available?)
- scientific article; zbMATH DE number 3326633 (Why is no real title available?)
- scientific article; zbMATH DE number 3334141 (Why is no real title available?)
- scientific article; zbMATH DE number 2227817 (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 3038376 (Why is no real title available?)
- A Classification of Baire Class 1 Functions
- A Constructive Look at Functions of Bounded Variation
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Baire one star functions
- Baire ∗ 1, Darboux Functions
- Betwixt Turing and Kleene
- Bounded variation and around
- Bounded variation and the strength of Helly's selection theorem
- Bounded variation implies regulated: a constructive proof
- CLUSTER SETS OF ARBITRARY FUNCTIONS
- Continuity and Baire Functions
- Convergence of stochastic processes
- Countable sets versus sets that are countable in reverse mathematics
- Darboux Properties and Applications to Non-Absolutely Convergent Integrals
- Effective Jordan decomposition
- First level Borel functions and isomorphisms
- Investigations of infinitely often oscillating and discontinuous functions.
- Investigations of infinitely often oscillating and discontinuous functions. A contribution to the founding of the concept of function.
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- LOWER AND UPPER QUASI-CONTINUOUS FUNCTIONS
- Les probabilités denombrables et leurs applications arithmétiques.
- Located sets and reverse mathematics
- Memoir on discontinuous functions.
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Omniscience principles and functions of bounded variation
- On Fourier series
- On Semicontinuous Functions and Baire Functions
- On convergence of Fourier series of functions of generalized bounded variation
- On functions of n complex variables.
- On functions of real variables.
- On quasicontinuous and cliquish functions
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor
- On some class of functions intermediate between the class B^*_1 and the family of continuous functions
- On some representations of a.e. continuous functions
- On the Products of Bounded Darboux Baire One Functions
- On the computational properties of basic mathematical notions
- On the computational properties of the uncountability of the real numbers
- On the differences of Darboux upper semicontinuous functions
- On the distinction of right and left at points of discontinuity.
- On the mathematical and foundational significance of the uncountable
- On the uncountability of \(\mathbb{R}\)
- On uniform weak König's lemma
- Open questions in reverse mathematics
- Open sets in computability theory and reverse mathematics
- Pincherle's theorem in reverse mathematics and computability theory
- Pointwise convergence of quasicontinuous mappings and Baire spaces
- Proofs and refutations. The logic of mathematical discovery. Edited by John Worrall and Elie Zahar
- Quasicontinuous functions, domains, and extended calculus
- Real Analysis and Probability
- Real functions
- Representations of Reals in Reverse Mathematics
- Reverse Mathematics
- Reverse mathematics of the uncountability of \(\mathbb{R}\)
- Reverse mathematics. Proofs from the inside out
- Set theory.
- Some characterizations of Darboux Baire 1 functions
- Some observation on pointwise discontinuous functions.
- Splittings and robustness for the Heine-Borel theorem
- Subsystems of second order arithmetic
- Sui gruppi di punti e sulle funzioni di variabili reali.
- Sums of quasicontinuous functions defined on pseudometrizable spaces
- Sur Les Fonctions Derivees, Integrables au Sens de Riemann et Sur Les Derivees Partielles Mixtes
- The Dirac delta function in two settings of reverse mathematics
- The Structure of Regulated Functions
- The axiom of choice in computability theory and reverse mathematics with a cameo for the continuum hypothesis
- The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
- There are \(2^{\mathfrak{c}}\) quasicontinuous non Borel functions on uncountable Polish space
- Uniform versions of some axioms of second order arithmetic
- Über die Gruppe der meßbaren Abbildungen.
Cited in
(5)
This page was built for publication: The biggest five of reverse mathematics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6992506)
