Joseph Harrison. Recursive pseudo-well-orderings. Transactions of the American Mathematical Society, vol. 131 , pp. 526–543 [Book Review]

Journal of Symbolic Logic 37 (1):197-198 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272617

Links

PhilArchive



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

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

Review: Joseph Harrison, Recursive Pseudo-well-Orderings. [REVIEW]Yiannis N. Moschovakis - 1972 - Journal of Symbolic Logic 37 (1):197-198.
Rogers Hartley Jr., Recursive functions over well-ordered partial orderings. Proceedings of the American Mathematical Society, vol. 10 , pp. 847–853. [REVIEW]J. R. Shoenfield - 1962 - Journal of Symbolic Logic 27 (1):83-84.
Alan Rose and J. Barkley Rosser. Fragments of many-valued statement calculi. Transactions of the American Mathematical Society, vol. 87 , pp. 1–53. - C. A. Meredith. The dependence of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , p. 54. - C. C. Chang. Proof of an axiom of Łukasiewicz. Transactions of the American Mathematical Society, vol. 87 , pp. 55–56. [REVIEW]Atwell R. Turquette - 1959 - Journal of Symbolic Logic 24 (3):248-249.
The Number of Preference Orderings: A Recursive Approach.Ben Eggleston - 2015 - The Mathematical Gazette 99 (544):21-32.
Kleene S. C.. Recursive predicates and quantifiers. Transactions of the American Mathematical Society, vol. 53 , pp. 41–73. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):32-34.
Enderton H. B.. Hierarchies in recursive function theory. Transactions of the American Mathematical Society, vol. III , pp. 457–471. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):262-263.
Kleene S. C.. Recursive functionals and quantifiers of finite types I. Transactions of the American Mathematical Society, vol. 91 , pp. 1–52. [REVIEW]A. Nerode - 1962 - Journal of Symbolic Logic 27 (1):82-83.
Rice H. G.. Recursive and recursively enumerable orders. Transactions of the American Mathematical Society, vol. 83 , pp. 277–300. [REVIEW]Martin Davis - 1957 - Journal of Symbolic Logic 22 (4):375-375.
Louise Hay. On creative sets and indices of partial recursive functions. Transactions of the American Mathematical Society, vol. 120 no. 2 , pp. 359–367. - Louise Hay. Isomorphism types of index sets of partial recursive functions. Proceedings of the American Mathematical Society, vol. 17 , pp. 106–110. - Louise Hay. Index sets of finite classes of recursively enumerable sets. The journal of symbolic logic, vol. 34 , pp. 39–44. [REVIEW]Forbes D. Lewis - 1974 - Journal of Symbolic Logic 39 (1):186-187.
Axt Paul. On a subrecursive hierarchy and primitive recursive degrees. Transactions of the American Mathematical Society, Bd. 92 , S. 85–105. [REVIEW]Rózsa Péter - 1960 - Journal of Symbolic Logic 25 (2):167-168.
Kleene S. C.. Recursive functionals and quantifiers of finite types II. Transactions of the American Mathematical Society, vol. 108 , pp. 106–142. [REVIEW]Thomas J. Grilliot - 1971 - Journal of Symbolic Logic 36 (1):146-146.
Degrees of orderings not isomorphic to recursive linear orderings.Carl G. Jockusch & Robert I. Soare - 1991 - Annals of Pure and Applied Logic 52 (1-2):39-64.
Yiannis N. Moschovakis. Abstract first order computability. Transactions of the American Mathematical Society, vol. 138 , pp. 427–464 and pp. 465–504. [REVIEW]Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (4):758.
A construction for recursive linear orderings.C. J. Ash - 1991 - Journal of Symbolic Logic 56 (2):673-683.
Nelson David. Recursive functions and intuitionistic number theory. Transactions of the American Mathematical Society, vol. 61 , pp. 307–368. See Errata, ibid., p. 556. [REVIEW]Andrzej Mostowski - 1947 - Journal of Symbolic Logic 12 (3):93-94.

Analytics

Added to PP
2016-06-30

Downloads
19 (#778,470)

6 months
8 (#342,364)

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