Review: C. Spector, Hyperarithmetical Quantifiers; Shih-Chao Liu, Recursive Linear Orderings and Hyperarithmetical Functions [Book Review]

Journal of Symbolic Logic 31 (1):137-137 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Recursive linear orderings and hyperarithmetical functions.Shih-Chao Liu - 1962 - Notre Dame Journal of Formal Logic 3 (3):129-132.
Review: Shih-Chao Liu, Four Types of General Recursive Well-Orderings. [REVIEW]Gustav Hensel - 1965 - Journal of Symbolic Logic 30 (2):255-256.
Computable structures and the hyperarithmetical hierarchy.C. J. Ash - 2000 - New York: Elsevier. Edited by J. Knight.
A recursion principle for linear orderings.Juha Oikkonen - 1992 - Journal of Symbolic Logic 57 (1):82-96.
Four types of general recursive well-orderings.Shih Chao Liu - 1962 - Notre Dame Journal of Formal Logic 3 (2):75-78.
A construction for recursive linear orderings.C. J. Ash - 1991 - Journal of Symbolic Logic 56 (2):673-683.
Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.
Review: Shih-Chao Liu, A Theorem on General Recursive Functions. [REVIEW]James R. Guard - 1964 - Journal of Symbolic Logic 29 (2):104-104.
Up to Equimorphism, Hyperarithmetic Is Recursive.Antonio Montalbán - 2005 - Journal of Symbolic Logic 70 (2):360 - 378.
Hyperarithmetical relations in expansions of recursive structures.Alan D. Vlach - 1994 - Annals of Pure and Applied Logic 66 (2):163-196.
An introduction to hyperarithmetical functions.Julia Robinson - 1967 - Journal of Symbolic Logic 32 (3):325-342.
Review: Clifford Spector, Recursive Well-Orderings. [REVIEW]Werner Markwald - 1956 - Journal of Symbolic Logic 21 (4):412-413.
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.
Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.

Analytics

Added to PP
2013-11-22

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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