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

DOI10.1016/j.apal.2022.103231OpenAlexW4311318712WikidataQ123028143 ScholiaQ123028143MaRDI QIDQ2683776

Yanyan Li

Publication date: 15 February 2023

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

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

zbMATH Keywords

Tauberian theorydialectica interpretationapplied proof theoryrates of convergence and metastability

Mathematics Subject Classification ID

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

Related Items (1)

A computational study of a class of recursive inequalities

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators
• Effective metastability of Halpern iterates in \(CAT(0)\) spaces
• A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces
• Zur Umkehrung des Abelschen Stetigkeitssatzes
• Proofs and Computations
• A century of complex Tauberian theory
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
• On the computational content of the axiom of choice
• A semantics of evidence for classical arithmetic
• A functional interpretation with state
• On Tao's “finitary” infinite pigeonhole principle
• Norm convergence of multiple ergodic averages for commuting transformations
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Nicht konstruktiv beweisbare Sätze der Analysis
• On the Interpretation of Non-Finitist Proofs--Part I
• On the interpretation of non-finitist proofs–Part II
• A note on the finitization of Abelian and Tauberian theorems

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