Hisao Tanaka. On limits of sequences of hyperarithmetical functionals and predicates. Commentarii mathematici Universitatis Sancti Pauli, vol. 14 no. 2 , pp. 105–121. - Tosiyuki Tugué and Hisao Tanaka. A note on the effective descriptive set theory. Commentarii mathematici Universitatis Sancti Pauli, vol. 15 no. 1 , pp. 19–28 [Book Review]

Journal of Symbolic Logic 39 (2):344-345 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272684

Links

PhilArchive



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

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: Hisao Tanaka, On Limits of Sequences of Hyperarithmetical Functionals and Predicates; Tosiyuki Tugue, Hisao Tanaka, A Note on the Effective Descriptive Set Theory. [REVIEW]Stephen J. Garland - 1974 - Journal of Symbolic Logic 39 (2):344-345.
Tosiyuki Tugué. On predicates expressible in the 1-function quantifier forms in Kleene hierarchy with free variables of type 2. Proceedings of the Japan Academy, vol. 36 , pp. 10–14. - Tosiyuki Tugué. Predicates recursive in a type-2 object and Kleene hierarchies. Commentarii mathematici Universitatis Sancti Pauli, vol. 8 , pp. 97–117. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
Yoemon Sampei. On the principle of effective choice and its applications. Commentarii mathematici Universitatis Sancti Pauli, vol. 15 , pp. 29–42. [REVIEW]Stephen Leeds - 1975 - Journal of Symbolic Logic 40 (2):243-244.
Yoemon Sampei. On the complete basis for the sets. Commentarii mathematici Universitatis Sancti Pauli, vol. 13 , pp. 81–88. [REVIEW]Stephen Leeds - 1975 - Journal of Symbolic Logic 40 (2):243.
Hirose Ken. A conjecture on Hilbert's 10th problem. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 1 , pp. 31–34. [REVIEW]H. B. Enderton - 1972 - Journal of Symbolic Logic 37 (3):604-604.
Seki Setsuya. On transfinite inferences. Commentarii mathematici Universitatis Sancti Pauli, vol. 4 no. 1 , pp. 43–45.Steven Orey - 1962 - Journal of Symbolic Logic 27 (1):89-90.
Yoemon Sampei. A proof of Mansfield's theorem by forcing method. Commentarii mathematici Universitatis Sancti Pauli, vol. 17 no. 2 , pp. 99–103. [REVIEW]Yiannis N. Moschovakis - 1975 - Journal of Symbolic Logic 40 (3):462.
On Limits of Sequences of Hyperarithmetical Functionals and Predicates.Hisao Tanaka - 1974 - Journal of Symbolic Logic 39 (2):344-345.
Review: Toshio Nishimura, Note on Axiomatic Set Theory I. The Independence of Zermelo's "Aussonderungsaxiom" from Other Axioms of Set Theory; Toshio Nishimura, Note on Axiomatic Set Theory II. A Construction of a Model Satisfying the Axioms of set Theory without Zermelo's Aussonderungsaxiom in a certain axiom system of ordinal numbers. [REVIEW]Gert Heinz Muller - 1964 - Journal of Symbolic Logic 29 (2):107-107.
Uesu Tadahiro. On Zermelo's set-theory and the simple type-theory with the axiom of infinity. Commentarti mathematici Universitatis Sancti Pauli, vol. 15 , pp. 49–59. [REVIEW]Bede Rundle - 1968 - Journal of Symbolic Logic 33 (2):292-293.
Review: Tosiyuki Tugue, On Predicates Expressible in the 1-Function Quantifier Forms in Kleene Hierarchy with Free Variables of Type 2; Tosiyuki Tugue, Predicates Recursive in a Type-2 Object and Kleene Hierarchies. [REVIEW]D. A. Clarke - 1968 - Journal of Symbolic Logic 33 (1):115-116.
Finsler Paul. Gibt es unentscheidbare Sätzei Commentarii mathematici Helvetici, vol. 16 no. 4 , pp. 310–320.Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):131-132.
Locher L.. Die Finsler'schen Arbeiten zur Grundlegung der Mathematik. Commentarii mathematici Helvetici, vol. 10 , pp. 206–207. [REVIEW]Alonzo Church - 1938 - Journal of Symbolic Logic 3 (2):89-90.
Notes on Measure and Category in Recursion Theory.Hisao Tanaka - 1970 - Annals of the Japan Association for Philosophy of Science 3 (5):231-241.
Review: Tosiyuki Tugue, Sigeru Hinata, A Note on Continuous Functionals. [REVIEW]Gustav B. Hensel - 1974 - Journal of Symbolic Logic 39 (3):606-607.

Analytics

Added to PP
2016-06-30

Downloads
25 (#638,434)

6 months
9 (#320,673)

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