Inexhaustibility: a non-exhaustive treatment and a survey on transfinite progressions

Lev Beklemishev

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

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

Authors	Lev Beklemishev
Abstract	This article has no associated abstract. (fix it)
Keywords	No keywords specified (fix it)
Categories	Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic (categorize this paper)
DOI	10.2178/bsl/1208442830
Options	Edit this record Mark as duplicate Export citation Find it on Scholar Request removal from index Revision history

Download options

Our Archive

Upload a copy of this paper Check publisher's policy Papers currently archived: 43,914

External links

From the Publisher via CrossRef (no proxy)

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)

Through your library

Sign in / register and customize your OpenURL resolver..
Configure custom resolver

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Inexhaustibility: A Non-Exhaustive Treatment.Torkel Franzén - 2008 - Bulletin of Symbolic Logic 14 (2):258-259.

Inexhaustibility: A Non-Exhaustive Treatment.Torkel Franzen - 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 index
2013-10-29

Total views
17 ( #498,111 of 2,266,272 )

Recent downloads (6 months)
2 ( #596,389 of 2,266,272 )

How can I increase my downloads?

Downloads