Elementary analytic functions in VT C 0

Annals of Pure and Applied Logic 174 (6):103269 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2023.103269

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

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

Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Elementary Functions and LOOP Programs.Zlatan Damnjanovic - 1994 - Notre Dame Journal of Formal Logic 35 (4):496-522.
Elementary equivalence of some rings of definable functions.Vincent Astier - 2008 - Archive for Mathematical Logic 47 (4):327-340.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.
Minimal realizability of intuitionistic arithmetic and elementary analysis.Zlatan Damnjanovic - 1995 - Journal of Symbolic Logic 60 (4):1208-1241.
On the elementary theory of restricted elementary functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796-808.
On the Elementary Theory of Restricted Elementary Functions.Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (3):796 - 808.
Bounded iteration and unary functions.Stefano Mazzanti - 2005 - Mathematical Logic Quarterly 51 (1):89-94.
R-analytic functions.Tobias Kaiser - 2016 - Archive for Mathematical Logic 55 (5-6):605-623.
The elementary computable functions over the real numbers: applying two new techniques. [REVIEW]Manuel L. Campagnolo & Kerry Ojakian - 2008 - Archive for Mathematical Logic 46 (7-8):593-627.
Plain Bases for Classes of Primitive Recursive Functions.Stefano Mazzanti - 2002 - Mathematical Logic Quarterly 48 (1):93-104.
Trees and Keislers problem.Ali Enayat - 2001 - Archive for Mathematical Logic 40 (4):273-276.
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes.Michael J. Lieberman - 2013 - Notre Dame Journal of Formal Logic 54 (2):153-166.
Local connectedness and distance functions.Charles Morgan - unknown
The complexity of the collection of countable linear orders of the form I + I.Ferenc Beleznay - 1999 - Journal of Symbolic Logic 64 (4):1519-1526.

Analytics

Added to PP
2023-03-24

Downloads
9 (#1,246,467)

6 months
5 (#627,481)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Models of VTC0$\mathsf {VTC^0}$ as exponential integer parts.Emil Jeřábek - 2023 - Mathematical Logic Quarterly 69 (2):244-260.

Add more citations

References found in this work

Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.
Iterated multiplication in $$ VTC ^0$$ V T C 0.Emil Jeřábek - 2022 - Archive for Mathematical Logic 61 (5):705-767.
Iterated multiplication in $$ VTC ^0$$.Emil Jeřábek - forthcoming - Archive for Mathematical Logic.
Open induction in a bounded arithmetic for TC0.Emil Jeřábek - 2015 - Archive for Mathematical Logic 54 (3-4):359-394.
Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.

View all 6 references / Add more references