Proof mining and probability theory
From MaRDI portal
Cites work
- A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces
- A general form of integral.
- A metastable dominated convergence theorem
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces
- A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- A simple proof of the strong law of large numbers with rates
- An application of proof mining to nonlinear iterations
- An approximate logic for measures
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Bounded functional interpretation
- Constructivism in mathematics. An introduction. Volume II
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- General logical metatheorems for functional analysis
- Generalized learnability of stochastic principles
- scientific article; zbMATH DE number 3816010 (Why is no real title available?)
- scientific article; zbMATH DE number 956475 (Why is no real title available?)
- scientific article; zbMATH DE number 51623 (Why is no real title available?)
- scientific article; zbMATH DE number 2174396 (Why is no real title available?)
- scientific article; zbMATH DE number 7585096 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- scientific article; zbMATH DE number 3083488 (Why is no real title available?)
- Intuitionistische Untersuchungen der formalistischen Logik
- Large deviation probabilities in the strong law of large numbers
- Local stability of ergodic averages
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
- Logical metatheorems for accretive and (generalized) monotone set-valued operators
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
- Measure theory and higher order arithmetic
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Model theory and metric convergence. I: Metastability and dominated convergence model theory and metric convergence
- Nicht konstruktiv beweisbare Sätze der Analysis
- Norm convergence of multiple ergodic averages for commuting transformations
- On quantitative convergence for stochastic processes: crossings, fluctuations and martingales
- On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
- On the Interpretation of Non-Finitist Proofs--Part I
- On the interpretation of non-finitist proofs–Part II
- On the removal of weak compactness arguments in proof mining
- Pointwise hereditary majorization and some applications
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
- PROOF MINING IN Lp SPACES
- Proof mining in \(\mathbb{R}\)-trees and hyperbolic spaces
- PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS
- Quantitative strong laws of large numbers
- Some logical metatheorems with applications in functional analysis
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Sur la loi forte des grands nombres.
- Sur les suites de fonctions mesurables.
- The impact of Gödel's incompleteness theorems on mathematics
- The mathematical significance of proof theory
- Ultraproducts and metastability
- Über das Unendliche.
- Über die Bausteine der mathematischen Logik.
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(2)
This page was built for publication: Proof mining and probability theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6890400)
