A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory

DOI10.1016/J.APAL.2022.103231MaRDI QIDQ2683776zbMATH OpenOpenAlexWikidataFDO

Authors Yanyan Li

Publication date 15 February 2023

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.apal.2022.103231

zbMATH Keywords

applied proof theorydialectica interpretationrates of convergence and metastabilityTauberian theory

Mathematics Subject Classification ID

Proof theory in general (including proof-theoretic semantics) (03F03) Functionals in proof theory (03F10) Relative consistency and interpretations (03F25) Convergence and divergence of series and sequences (40A05) Tauberian theorems (40E05)

Recommendations

• A note on the finitization of Abelian and Tauberian theorems
• scientific article; zbMATH DE number 193712
• A short proof of the generalized Littlewood Tauberian theorem
• scientific article; zbMATH DE number 3933677
• scientific article; zbMATH DE number 1439238

Cites work

• A century of complex Tauberian theory
• A functional interpretation with state
• A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces
• A note on the finitization of Abelian and Tauberian theorems
• A semantics of evidence for classical arithmetic
• Analytic combinatorics for a certain well-ordered class of iterated exponential terms
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• scientific article; zbMATH DE number 4104952 (Why is no real title available?)
• scientific article; zbMATH DE number 956475 (Why is no real title available?)
• scientific article; zbMATH DE number 1215497 (Why is no real title available?)
• scientific article; zbMATH DE number 6307933 (Why is no real title available?)
• scientific article; zbMATH DE number 3081869 (Why is no real title available?)
• Nicht konstruktiv beweisbare Sätze der Analysis
• Norm convergence of multiple ergodic averages for commuting transformations
• On Tao's “finitary” infinite pigeonhole principle
• On the computational content of the axiom of choice
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• Proofs and computations
• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
• Structure and randomness. Pages from year one of a mathematical blog
• Zur Umkehrung des Abelschen Stetigkeitssatzes
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES

Cited in

(5)

• The finite Littlewood problem in \(\mathbb{F}_p\)
• A computational study of a class of recursive inequalities
• A note on the finitization of Abelian and Tauberian theorems
• A finitary Kronecker's lemma and large deviations in the strong law of large numbers on Banach spaces
• Quantitative strong laws of large numbers

This page was built for publication: A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory

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