Transfinite progressions: A second look at completeness
Bulletin of Symbolic Logic 10 (3):367-389 (2004)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRenling Jin (2007). Inverse Problem for Cuts. Logic and Analysis 1 (1):61-89.
Michal Grabowski (1988). Arithmetical Completeness Versus Relative Completeness. Studia Logica 47 (3):213 - 220.
Wojciech Buszkowski (1989). Presuppositional Completeness. Studia Logica 48 (1):23 - 34.
Graham Oppy, Inverse Operations with Transfinite Numbers and the Kalam Cosmological Argument (1995).
Luis E. Sanchis (1987). Completeness of Transfinite Evaluation in an Extension of the Lambda Calculus. Journal of Symbolic Logic 52 (1):243-275.
John M. MacIntyre (1977). Transfinite Extensions of Friedberg's Completeness Criterion. Journal of Symbolic Logic 42 (1):1-10.
L. D. Beklemishev (1991). Provability Logics for Natural Turing Progressions of Arithmetical Theories. Studia Logica 50 (1):107 - 128.
Solomon Feferman (1962). Transfinite Recursive Progressions of Axiomatic Theories. Journal of Symbolic Logic 27 (3):259-316.
Jens Erik Fenstad (1968). On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theories. Journal of Symbolic Logic 33 (1):69-76.
Torkel Franz�N. (2004). Transfinite Progressions: A Second Look at Completeness. Bulletin of Symbolic Logic 10 (3):367-389.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads8 ( #122,951 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
