Hisao Tanaka. On analytic well-orderings. The journal of symbolic logic, vol. 35 , pp. 198–204

Journal of Symbolic Logic 38 (1):155 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271753

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,854

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.
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. [REVIEW]Stephen J. Garland - 1974 - Journal of Symbolic Logic 39 (2):344-345.
Goodstein R. L.. Proof by reductio ad absurdum. The mathematical gazette, vol. 32 , pp. 198–204.John G. Kemeny - 1950 - Journal of Symbolic Logic 15 (1):71-71.
Natucci A.. 2 + 2 fanno 4. Periodico di matematiche, ser. 4 vol. 29 , pp. 198–204.Alonzo Church - 1952 - Journal of Symbolic Logic 17 (1):77-77.
Herbert Enderton and David Luckham. Hierarchies over recursive well-orderings. The journal of symbolic logic, vol. 29 no. 4 , pp. 183–190.Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (2):263.
Shôtarô Tanaka. On axioms of ontology. Proceedings of the Japan Academy, vol. 44 , pp. 54–55. - Shôtarô Tanaka. On theorems of ontology. Proceedings of the Japan Academy, vol. 44 , pp. 231–233. [REVIEW]Boguslaw Iwanus - 1972 - Journal of Symbolic Logic 37 (1):192.
On analytic well-orderings.Hisao Tanaka - 1970 - Journal of Symbolic Logic 35 (2):198-204.
Liu Shih-Chao. Four types of general recursive well-orderings. Notre Dame journal of formal logic, vol. 3 , pp. 75–78.Gustav Hensel - 1965 - Journal of Symbolic Logic 30 (2):255-256.
E. G. K. Lopez-Escobar. On defining well-orderings. Fundamenta mathematicae, vol. 59 , pp. 13–21. - E. G. K. Lopez-Escobar. An addition to “On defining well-orderings.“Fundamenta mathematicae, vol. 59 , pp. 299–300. [REVIEW]Jerome Malitz - 1968 - Journal of Symbolic Logic 33 (1):123.

Analytics

Added to PP
2013-11-03

Downloads
54 (#405,619)

6 months
16 (#197,483)

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