Review: G. Kreisel, Non-Uniqueness Results for Transfinite Progressions [Book Review]

Journal of Symbolic Logic 25 (4):364-364 (1960)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

External links

  • This entry has no external links. Add one.
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

Review: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-531.
Limit spaces and transfinite types.Dag Normann & Geir Waagb - 2002 - Archive for Mathematical Logic 41 (6):525-539.
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.
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.
Which number theoretic problems can be solved in recursive progressions on Π1 1-paths through O?G. Kreisel - 1972 - Journal of Symbolic Logic 37 (2):311-334.
On the completeness of some transfinite recursive progressions of axiomatic theories.Jens Erik Fenstad - 1968 - Journal of Symbolic Logic 33 (1):69-76.
Review: Thomas Strahm, Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion. [REVIEW]Andrea Cantini - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Hyperations, Veblen progressions and transfinite iteration of ordinal functions.David Fernández-Duque & Joost J. Joosten - 2013 - Annals of Pure and Applied Logic 164 (7-8):785-801.
Kreisel, the continuum hypothesis and second order set theory.Thomas Weston - 1976 - Journal of Philosophical Logic 5 (2):281 - 298.
Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis.W. A. Howard & G. Kreisel - 1966 - Journal of Symbolic Logic 31 (3):325-358.
Review: G. Kreisel, On the Interpretation of Non-Finitist Proofs; G. Kreisel, Some Elementary Inequalities. [REVIEW]J. Barkley Rosser - 1953 - Journal of Symbolic Logic 18 (1):78-80.

Analytics

Added to PP
2013-11-22

Downloads
1 (#1,889,095)

6 months
1 (#1,516,429)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references