Four types of general recursive well-orderings

Notre Dame Journal of Formal Logic 3 (2):75-78 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093957150

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

A construction for recursive linear orderings.C. J. Ash - 1991 - Journal of Symbolic Logic 56 (2):673-683.
Recursive linear orderings and hyperarithmetical functions.Shih-Chao Liu - 1962 - Notre Dame Journal of Formal Logic 3 (3):129-132.
Up to Equimorphism, Hyperarithmetic Is Recursive.Antonio Montalbán - 2005 - Journal of Symbolic Logic 70 (2):360 - 378.
A recursion principle for linear orderings.Juha Oikkonen - 1992 - Journal of Symbolic Logic 57 (1):82-96.
Accessible recursive functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
Recursive isomorphism types of recursive Boolean algebras.J. B. Remmel - 1981 - Journal of Symbolic Logic 46 (3):572-594.
Recursive well-orderings.Clifford Spector - 1955 - Journal of Symbolic Logic 20 (2):151-163.
Recursive equivalence types on recursive manifolds.Leon W. Harkleroad - 1979 - Notre Dame Journal of Formal Logic 20 (1):1-31.
Hierarchies over recursive well-orderings.Herbert Enderton & David Luckham - 1964 - Journal of Symbolic Logic 29 (4):183-190.
Effective coloration.Dwight R. Bean - 1976 - Journal of Symbolic Logic 41 (2):469-480.
Two-dimensional partial orderings: Recursive model theory.Alfred B. Manaster & Joseph G. Rosenstein - 1980 - Journal of Symbolic Logic 45 (1):121-132.
A generalization of tennenbaum's theorem on effectively finite recursive linear orderings.Richard Watnick - 1984 - Journal of Symbolic Logic 49 (2):563-569.
On the equimorphism types of linear orderings.Antonio Montalbán - 2007 - Bulletin of Symbolic Logic 13 (1):71-99.

Analytics

Added to PP
2010-08-24

Downloads
8 (#1,243,760)

6 months
6 (#417,196)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references