Inexhaustibility: a non-exhaustive treatment and a survey on transfinite progressions [Book Review]

Bulletin of Symbolic Logic 14 (2):258-259 (2008)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1208442830

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

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

Inexhaustibility: A Non-Exhaustive Treatment.Lev D. Beklemishev - 2008 - Bulletin of Symbolic Logic 14 (2):258-259.
Lev D. Beklemishev. Induction rules, reflection principles, and provably recursive functions. Annals of pure and applied logic, vol. 85 , pp. 193–242. [REVIEW]Volker Halbach - 2002 - Bulletin of Symbolic Logic 8 (2):302-303.
Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion.Thomas Strahm - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Non-Uniqueness Results for Transfinite Progressions.G. Kreisel - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Inexhaustibility: A Non-Exhaustive Treatment.Torkel Franzén - 2003 - Association for Symbolic Logic.
Review: Thomas Strahm, Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion. [REVIEW]Andrea Cantini - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Review: G. Kreisel, Non-Uniqueness Results for Transfinite Progressions. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Kreisel G.. Non-uniqueness results for transfinite progressions. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 no. 5 , pp. 287–290. [REVIEW]Donald Monk - 1960 - Journal of Symbolic Logic 25 (4):364-364.
On the completeness of some transfinite recursive progressions of axiomatic theories.Jens Erik Fenstad - 1968 - Journal of Symbolic Logic 33 (1):69-76.
Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-531.

Analytics

Added to PP
2013-10-29

Downloads
11 (#1,147,580)

6 months
1 (#1,722,086)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references