Review: Thomas Strahm, Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion [Book Review]

Bulletin of Symbolic Logic 7 (4):535-536 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687806

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,070

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

Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion.Thomas Strahm - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Thomas Strahm. Autonomous fixed point progressions and fixed point transfinite recursion. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 449–464. [REVIEW]Andrea Cantini - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Review: Thomas Strahm, Polynomial Time Operations in Explicit Mathematics ; Andrea Cantini, Feasible Operations and Applicative Theories Based on $\lambda \eta $. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Thomas Strahm. Polynomial time operations in explicit mathematics. The journal of symbolic logic, vol. 62 , pp. 575–594. - Andrea Cantini. Feasible operations and applicative theories based on λη. Mathematical logic quarterly, vol. 46 , pp. 291–312. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-535.
Two papers by T. Strahm and by A. Cantini on explicit mathematics. [REVIEW]Fernando Ferreira - 2002 - Bulletin of Symbolic Logic 8 (4):534-534.
Review: Wilfried Buchholz, An Intuitionistic Fixed Point Theory. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
An Intuitionistic Fixed Point Theory.Wilfried Buchholz - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Fixed point logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Inexhaustibility: a non-exhaustive treatment and a survey on transfinite progressions. [REVIEW]Lev D. Beklemishev - 2008 - Bulletin of Symbolic Logic 14 (2):258-259.
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 , pp. 21–27. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.

Analytics

Added to PP
2013-11-21

Downloads
5 (#1,563,402)

6 months
1 (#1,723,673)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references