Shoenfield J. R.. A hierarchy based on a type two object. Transactions of the American Mathematical Society, vol. 134 , pp. 103–108 [Book Review]

Journal of Symbolic Logic 36 (2):340-341 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270307

Links

PhilArchive



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

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: J. R. Shoenfield, A Hierarchy Based on a Type Two Object. [REVIEW]Wayne Richter - 1971 - Journal of Symbolic Logic 36 (2):340-341.
A Hierarchy Based on a Type Two Object.J. R. Shoenfield - 1971 - Journal of Symbolic Logic 36 (2):340-341.
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.
Shoenfield J. R.. On degrees of unsolvability. Annals of mathematics, second series, vol. 69 , pp. 644–653.Shoenfield J. R.. An uncountable set of incomparable degrees. Proceedings of the American Mathematical Society, vol. 11 , pp. 61–62. [REVIEW]Gerald E. Sacks - 1964 - Journal of Symbolic Logic 29 (4):203-204.
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.
Lévy Azriel. A hierarchy of formulas in set theory. Memoirs of the American Mathematical Society, no. 57. American Mathematical Society, Providence 1965, 76 pp. [REVIEW]Solomon Feferman - 1968 - Journal of Symbolic Logic 33 (3):473-474.
Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality.Geir Waagbø - 1999 - Archive for Mathematical Logic 38 (1):19-60.
Shoenfield J. R.. Quasicreative sets. Proceedings of the American Mathematical Society, vol. 8 , pp. 964–967.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-166.
Shoenfield J. R.. The class of recursive functions. Proceedings of the American Mathematical Society, vol. 9 , pp. 690–692. [REVIEW]Paul Axt - 1959 - Journal of Symbolic Logic 24 (3):238-239.
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.
Recursion in Partial Type‐1 Objects With Well‐Behaved Oracles.George Tourlakis - 1996 - Mathematical Logic Quarterly 42 (1):449-460.
Loveland Donald. A new interpretation of the von Mises' concept of random sequence. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 12 , pp. 279–294.Loveland D. W.. The Kleene hierarchy classification of recursively random sequences. Transactions of the American Mathematical Society, vol. 125 , pp. 497–510. [REVIEW]Robert A. DiPaola - 1971 - Journal of Symbolic Logic 36 (3):537-538.
C. C. Chang. Algebraization of infinitely many-valued logic. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 144–146. - C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, vol. 88 , pp. 467–490. - C. C. Chang. A new proof of the completeness of the Łukasiewicz axioms. Transactions of the American Mathematical Society, vol. 93 , pp. 74–80. [REVIEW]Alfred Horn - 1971 - Journal of Symbolic Logic 36 (1):159-160.
Shoenfield J. R.. The form of the negation of a predicate. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 131–134. [REVIEW]Ann M. Singleterry - 1968 - Journal of Symbolic Logic 33 (1):116-116.
Anti-Realist Semantics for Mathematical and Natural Language.Matthew James Watson - 1998 - Dissertation, The University of Texas at Austin

Analytics

Added to PP
2016-06-30

Downloads
2 (#1,750,398)

6 months
1 (#1,444,594)

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