Syntactic translations and provably recursive functions

Journal of Symbolic Logic 50 (3):682-688 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,221

External links

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

Through your library

Similar books and articles

Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
Ramsey's Theorem for Pairs and Provably Recursive Functions.Alexander Kreuzer & Ulrich Kohlenbach - 2009 - Notre Dame Journal of Formal Logic 50 (4):427-444.
Elementary realizability.Zlatan Damnjanovic - 1997 - Journal of Philosophical Logic 26 (3):311-339.
Some restrictions on simple fixed points of the integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.

Analytics

Added to PP
2009-01-28

Downloads
248 (#73,885)

6 months
17 (#106,708)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniel M. Leivant
Indiana University, Bloomington

Citations of this work

A note on the independence of premiss rule.Hajime Ishihara & Takako Nemoto - 2016 - Mathematical Logic Quarterly 62 (1-2):72-76.
Skolem's paradox and constructivism.Charles McCarty & Neil Tennant - 1987 - Journal of Philosophical Logic 16 (2):165 - 202.
Truth table logic, with a survey of embeddability results.Neil Tennant - 1989 - Notre Dame Journal of Formal Logic 30 (3):459-484.

View all 10 citations / Add more citations

References found in this work

Natural Deduction: A Proof-Theoretical Study.Richmond Thomason - 1965 - Journal of Symbolic Logic 32 (2):255-256.
Introduction to Metamathematics.Ann Singleterry Ferebee - 1968 - Journal of Symbolic Logic 33 (2):290-291.

Add more references