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

Annals of Pure and Applied Logic 174 (4):103231 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103231

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,516

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A note on the finitization of Abelian and Tauberian theorems.Thomas Powell - 2020 - Mathematical Logic Quarterly 66 (3):300-310.
Weaker cousins of Ramsey's theorem over a weak base theory.Marta Fiori-Carones, Leszek Aleksander Kołodziejczyk & Katarzyna W. Kowalik - 2021 - Annals of Pure and Applied Logic 172 (10):103028.
Derived rules for predicative set theory: an application of sheaves.Benno van den Berg & Ieke Moerdijk - 2012 - Annals of Pure and Applied Logic 163 (10):1367-1383.
A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
The Löwenheim-Skolem theorem for Gödel logic.J. P. Aguilera - 2023 - Annals of Pure and Applied Logic 174 (4):103235.
Tarski's theorem on intuitionistic logic, for polyhedra.Nick Bezhanishvili, Vincenzo Marra, Daniel McNeill & Andrea Pedrini - 2018 - Annals of Pure and Applied Logic 169 (5):373-391.
Mitchell's theorem revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.
A Lindström theorem for intuitionistic first-order logic.Grigory Olkhovikov, Guillermo Badia & Reihane Zoghifard - 2023 - Annals of Pure and Applied Logic 174 (10):103346.
The semantic isomorphism theorem in abstract algebraic logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.
A dichotomy theorem for regular types.Ehud Hrushovski & Saharon Shelah - 1989 - Annals of Pure and Applied Logic 45 (2):157-169.

Analytics

Added to PP
2023-01-05

Downloads
14 (#1,268,432)

6 months
5 (#1,025,536)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Nicht konstruktiv beweisbare sätze der analysis.Ernst Specker - 1949 - Journal of Symbolic Logic 14 (3):145-158.
On the interpretation of non-finitist proofs–Part II.G. Kreisel - 1952 - Journal of Symbolic Logic 17 (1):43-58.
On the interpretation of non-finitist proofs—Part I.G. Kreisel - 1951 - Journal of Symbolic Logic 16 (4):241-267.
A semantics of evidence for classical arithmetic.Thierry Coquand - 1995 - Journal of Symbolic Logic 60 (1):325-337.

View all 10 references / Add more references