On Π 1-automorphisms of recursive linear orders

Journal of Symbolic Logic 52 (3):681-688 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200029686

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

Recursive automorphisms of recursive linear orderings.Steven Schwarz - 1984 - Annals of Pure and Applied Logic 26 (1):69-73.
Automorphisms of η-like computable linear orderings and Kierstead's conjecture.Charles M. Harris, Kyung Il Lee & S. Barry Cooper - 2016 - Mathematical Logic Quarterly 62 (6):481-506.
Recursive linear orders with recursive successivities.Michael Moses - 1984 - Annals of Pure and Applied Logic 27 (3):253-264.
The Recursive Irrationality of π.R. L. Goodstein - 1960 - Journal of Symbolic Logic 25 (2):166-167.
The recursive irrationality of π.R. L. Goodstein - 1954 - Journal of Symbolic Logic 19 (4):267-274.
Goodstein R. L.. The recursive irrationality of π.A. Nerode - 1960 - Journal of Symbolic Logic 25 (2):166-167.
Relations Intrinsically Recursive in Linear Orders.Michael Moses - 1986 - Mathematical Logic Quarterly 32 (25-30):467-472.
Relations Intrinsically Recursive in Linear Orders.Michael Moses - 1986 - Mathematical Logic Quarterly 32 (25‐30):467-472.
On Choice Sets and Strongly Non‐Trivial Self‐Embeddings of Recursive Linear Orders.Rodney G. Downey & Michael F. Moses - 1989 - Mathematical Logic Quarterly 35 (3):237-246.
Extending partial orders to dense linear orders.Theodore A. Slaman & W. Hugh Woodin - 1998 - Annals of Pure and Applied Logic 94 (1-3):253-261.

Analytics

Added to PP
2009-01-28

Downloads
42 (#390,669)

6 months
6 (#587,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Kierstead's Conjecture and limitwise monotonic functions.Guohua Wu & Maxim Zubkov - 2018 - Annals of Pure and Applied Logic 169 (6):467-486.
The Block Relation in Computable Linear Orders.Michael Moses - 2011 - Notre Dame Journal of Formal Logic 52 (3):289-305.

Add more citations

References found in this work

Linear Orderings.Joseph G. Rosenstein - 1983 - Journal of Symbolic Logic 48 (4):1207-1209.

Add more references