Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604 [Book Review]

Bulletin of Symbolic Logic 7 (4):532-533 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600005448

Links

PhilArchive



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

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 characterization of the $\Sigma_1$ -definable functions of $KP\omega + $.Wolfgang Burr & Volker Hartung - 1998 - Archive for Mathematical Logic 37 (3):199-214.
A Diller-Nahm-style functional interpretation of $\hbox{\sf KP} \omega$.Wolfgang Burr - 2000 - Archive for Mathematical Logic 39 (8):599-604.
A characterization of the [mathematical formula]-definable functions of [mathematical formula].Wolfgang Burr & Volker Hartung - 1997 - Archive for Mathematical Logic 36 (3).
A Diller-Nahm-style functional interpretation of $\hbox{\sf KP} \omega$.Wolfgang Burr - 2000 - Archive for Mathematical Logic 39 (8):599-604.
Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Functional interpretation of Aczel's constructive set theory.Wolfgang Burr - 2000 - Annals of Pure and Applied Logic 104 (1-3):31-73.
Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory.Wolfgang Burr - 2002 - Synthese 133 (1-2):257 - 274.
REVIEWS-Two papers.W. Burr, V. Hartung & Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Spielquantorinterpretation unstetiger Funktionale der höheren Analysis.Wolfgang Friedrich - 1984 - Archive for Mathematical Logic 24 (1):73-99.
A term rewriting characterization of the functions computable in polynomial space.Isabel Oitavem - 2002 - Archive for Mathematical Logic 41 (1):35-47.
A term rewriting characterization of the polytime functions and related complexity classes.Arnold Beckmann & Andreas Weiermann - 1996 - Archive for Mathematical Logic 36 (1):11-30.
On fields definable inQ p.Anand Pillay - 1989 - Archive for Mathematical Logic 29 (1):1-7.
Combinatorial characterization of [mathematical formula]-indescribability in [mathematical formula].Yoshihiro Abe - 1997 - Archive for Mathematical Logic 36 (4-5).
Extracting Herbrand disjunctions by functional interpretation.Philipp Gerhardy & Ulrich Kohlenbach - 2005 - Archive for Mathematical Logic 44 (5):633-644.

Analytics

Added to PP
2014-03-25

Downloads
10 (#1,172,872)

6 months
2 (#1,229,212)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Reinhard Kahle
University Tübingen

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references