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: 91,783

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

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.
Review: R. O. Gandy, On a Problem of Kleene's. [REVIEW]Wayne Richter - 1964 - Journal of Symbolic Logic 29 (2):104-104.
Local Density of Kleene Degrees.Hisato Muraki - 1995 - Mathematical Logic Quarterly 41 (2):183-189.
Kleene S. C.. A note on recursive functions. Bulletin of the American Mathematical Society, vol. 42 , pp. 544–546.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
Kleene S. C.. Hierarchies of number-theoretic predicates. Bulletin of the American Mathematical Society, Bd. 61 , S. 193–213. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):411-412.
The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
N. A. Šanin. On the constructive interpretation of mathematical judgments. English translation of XXXI 255 by Elliott Mendelson. American Mathematical Society translations, ser. 2 vol. 23 , pp. 109–189. - A. A. Markov. On constructive functions. English translation of XXXI 258 by Moshe Machover. American Mathematical Society translations, vol. 29 , pp. 163–195. - S. C. Kleene. A formal system of intuitionistic analysis. The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 1–89. - S. C. Kleene. Various notions of realizability:The foundations of intuitionistlc mathematics especially in relation to recursive functions, by Stephen Cole Kleene and Richard Eugene Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 90–132. - Richard E. Ve. [REVIEW]Georg Kreisel - 1966 - Journal of Symbolic Logic 31 (2):258-261.
Peter J. Nyikos. A provisional solution to the normal Moore space problem_. Proceedings of the American Mathematical Society, vol. 78 (1980), pp. 429–435. - William G. Fleissner. _If all normal Moore spaces are metrizable, then there is an inner model with a measurable cardinal_. Transactions of the American Mathematical Society, vol. 273 (1982), pp. 365–373. - Alan Dow, Franklin D. Tall, and William A. R. Weiss. _New proofs of the consistency of the normal Moore space conjecture I_. Topology and its applications, vol. 37 (1990), pp. 33–51. - Zoltán Balogh. _On collectionwise normality of locally compact, normal spaces. Transactions of the American Mathematical Society, vol. 323 (1991), pp. 389–411. [REVIEW]Gary Gruenhage - 2002 - Bulletin of Symbolic Logic 8 (3):443-445.
The Kleene Symposium.Robin Gandy - 1980 - North-Holland.
Laszlo Fuchs and Saharon Shelah. Kaplansky's problem on valuation rings. Proceedings of the American Mathematical Society, vol. 105 , pp. 25–30. - Paul C. Eklof. A transfer theorem for nonstandard uniserials. Proceedings of the American Mathematical Society, vol. 114 , pp. 593–600. - Paul C. Eklof and Saharon Shelah. On a conjecture regarding nonstandard uniserial modules. Transactions of the American Mathematical Society, vol. 340 , pp. 337–351. - P. C. Eklof and S. Shelah. Explicitly non-standard uniserial modules. Journal of pure and applied algebra, vol. 86 , pp. 35–50. [REVIEW]Birge Huisgen-Zimmermann - 2002 - Bulletin of Symbolic Logic 8 (3):441-443.
Reviews. Kurt Gödel. What is Cantor's continuum problem? The American mathematical monthly, vol. 54 , pp. 515–525.S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (2):116-117.
Principles of mechanisms.R. O. Gandy - 1980 - In J. Barwise, H. J. Keisler & K. Kunen (eds.), The Kleene Symposium. North-Holland.
Farah Ilijas. Analytic quotients. Memoirs of the American Mathematical Society vol. 148 no. 702, American Mathematical Society, Providence, RI, 2000, xvi+ 177 pp. [REVIEW]D. H. Fremlin - 2006 - Bulletin of Symbolic Logic 12 (1):126-128.
Oglesby Francis C.. An examination of a decision procedure. Memoirs of the American Mathematical Society, no. 44. American Mathematical Society, Providence 1962, 148 pp.Oglesby F. C.. Report: An examination of a decision procedure. Bulletin of the American Mathematical Society, vol. 67 , pp. 300–304. [REVIEW]Abraham Robinson - 1963 - Journal of Symbolic Logic 28 (2):165-166.
Andréka H., Givant S., and Németi I.. Decision problems for equational theories of relation algebras. Memoirs of the American Mathematical Society, vol. 126, no. 604. American Mathematical Society, Providence, March 1997, xiv+ 126 pp. [REVIEW]Roger D. Maddux - 2003 - Bulletin of Symbolic Logic 9 (1):37-39.

Analytics

Added to PP
2016-06-30

Downloads
22 (#706,230)

6 months
4 (#778,909)

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