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: 91,349

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.
Inexhaustibility: A Non-Exhaustive Treatment.Torkel Franzén - 2003 - Association for Symbolic Logic.
Strictly Primitive Recursive Realizability, II. Completeness with Respect to Iterated Reflection and a Primitive Recursive $\omega$ -Rule.Zlatan Damnjanovic - 1998 - Notre Dame Journal of Formal Logic 39 (3):363-388.
Non-Uniqueness Results for Transfinite Progressions.G. Kreisel - 1960 - Journal of Symbolic Logic 25 (4):364-364.
Transfinite Progressions: A Second Look At Completeness.Torkel Franzén - 2004 - Bulletin of Symbolic Logic 10 (3):367-389.
Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.
Transfinite Recursive Progressions of Axiomatic Theories.Solomon Feferman - 1967 - Journal of Symbolic Logic 32 (4):530-531.
Review: G. Kreisel, Non-Uniqueness Results for Transfinite Progressions. [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.
Review: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-531.
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.
Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion.Thomas Strahm - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Review: Thomas Strahm, Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion. [REVIEW]Andrea Cantini - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Der transfinite Progressus und seine ontologische Deutung: Die transfinite Komplikation des Bewusstseins und die Mengenlehre Die transfinite Progression und der überlieferte Mengenbegriff.Oskar Becker - 1927 - Jahrbuch für Philosophie Und Phänomenologische Forschung 8:559.
Provability logics for natural Turing progressions of arithmetical theories.L. D. Beklemishev - 1991 - Studia Logica 50 (1):107 - 128.

Analytics

Added to PP
2013-10-29

Downloads
23 (#664,515)

6 months
3 (#992,474)

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