Jens Erik Fenstad. On the completeness of some transfinite recursive progressions of axiomatic theories. The journal of symbolic logic, vol. 33 , pp. 69–76 [Book Review]

Journal of Symbolic Logic 34 (1):131-131 (1969)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271021

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

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

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 - 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: Solomon Feferman, Transfinite Recursive Progressions of Axiomatic Theories. [REVIEW]R. A. DiPaola - 1967 - Journal of Symbolic Logic 32 (4):530-531.
Skolem Th.. Recursive enumeration of some classes of primitive recursive functions and a majorisation theorem. Det Kongelige Norske Videnskabers Selskabs, Forhandlinger, vol. 35 , pp. 142–148. Reprinted in Selected works in logic, by Th. Skolem, edited by Fenstad Jens Erik, Universitetsforlaget, Oslo, Bergen, and Tromsö, 1970, pp. 681–687. [REVIEW]H. E. Rose - 1973 - Journal of Symbolic Logic 38 (3):526-526.
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.
Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 41–61. [REVIEW]A. S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):331-332.
General recursion theory: an axiomatic approach.Jens Erik Fenstad - 1980 - New York: Springer Verlag.
Transfinite Progressions: A Second Look At Completeness.Torkel Franzén - 2004 - Bulletin of Symbolic Logic 10 (3):367-389.
General Recursion Theory. An Axiomatic Approach.Jens E. Fenstad - 1982 - Journal of Symbolic Logic 47 (3):696-698.
The Axiom of Determinateness.Jens Erik Fenstad - 1974 - Journal of Symbolic Logic 39 (2):331-332.
Second Scandinavian Logic Symposium.Jens Erik Fenstad - 1971 - Journal of Symbolic Logic 36 (2):378-384.
Notes on Normative Logic.Jens Erik Fenstad - 1959 - Journal of Symbolic Logic 24 (3):247-248.
Review: Jens Erik Fenstad, The Axiom of Determinateness. [REVIEW]A. S. Kechris - 1974 - Journal of Symbolic Logic 39 (2):331-332.
Review: Jens Erik Fenstad, Notes on Normative Logic. [REVIEW]A. N. Prior - 1959 - Journal of Symbolic Logic 24 (3):247-248.

Analytics

Added to PP
2013-11-22

Downloads
39 (#411,191)

6 months
4 (#798,384)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Steven Savitt
University of British Columbia

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references