R. O. Gandy. On a problem of Kleene's. Bulletin of the American Mathematical Society, vol. 66 , pp. 501–502

Journal of Symbolic Logic 29 (2):104 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270429

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,932

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

Wayne Richter. Extensions of the constructive ordinals. The journal of symbolic logic, vol. 30 , pp. 193–211. - Wayne Richter. Constructive transfinite number classes. Bulletin of the American Mathematical Society, vol. 73 , pp. 261–265. - Wayne Richter. Constructively accessible ordinal numbers. The journal of symbolic logic, vol. 33 , pp. 43–55.Gustav B. Hensel - 1971 - Journal of Symbolic Logic 36 (2):341-342.
Review: R. O. Gandy, On a Problem of Kleene's. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):104-104.
R. O. Gandy, G. Kreisel and W. W. Tait. Set existence. Bulletin de l'Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 577–582, and vol. 9 , pp. 881–882. [REVIEW]Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (2):232-233.
R. O. Gandy. Proof of Mostowski's conjecture. Bulletin de l′Académie Polonaise des Sciences, Série des sciences mathématiques, astronomiques et physiques, vol. 8 , pp. 571–575. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):103-104.
Koopman B. O.. The bases of probability. Bulletin of the American Mathematical Society, vol. 46 , pp. 763–774.Ernest Nagel - 1941 - Journal of Symbolic Logic 6 (1):34-35.
R. L. Vaught. Models of complete theories. Bulletin of the American Mathematical Society, vol. 69 , pp. 299–313.H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):344.
D. A. Martin and J. R. Steel. Iteration trees. Journal of the American Mathematical Society, vol. 7 , pp. 1–73. [REVIEW]William Mitchell - 2002 - Bulletin of Symbolic Logic 8 (4):545-546.
Curry Haskell B.. Some aspects of the problem of mathematical rigor. Bulletin of the American Mathematical Society, vol. 47 , pp. 221–241. [REVIEW]S. C. Kleene - 1941 - Journal of Symbolic Logic 6 (3):100-102.
J. C. E. Dekker. Two notes on recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 4 , pp. 495–501. [REVIEW]Martin Davis - 1955 - Journal of Symbolic Logic 20 (1):73-74.
Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Bulletin of the American Mathematical Society, vol. 74 , pp. 1025–1029. - Michael O. Rabin. Decidability of second-order theories and automata on infinite trees. Transactions of the American Mathematical Society, vol. 141 , pp. 1–35. [REVIEW]Dirk Siefkes - 1972 - Journal of Symbolic Logic 37 (3):618-619.

Analytics

Added to PP
2016-06-30

Downloads
16 (#905,208)

6 months
3 (#1,207,210)

Historical graph of downloads
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