A Refinement of Low n and High _n_ for the R.E. Degrees

Mathematical Logic Quarterly 32 (1-5):5-12 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19860320103

Links

PhilArchive



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

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 Refinement of Low n and High n for the R.E. Degrees.Jeanleah Mohrherr - 1986 - Mathematical Logic Quarterly 32 (1‐5):5-12.
On n‐Place Strictly Monotonic Functions.John Hickman - 1985 - Mathematical Logic Quarterly 31 (9-12):169-171.
n‐Ary Almost Recursive Functions.John W. Berry - 1974 - Mathematical Logic Quarterly 20 (34-36):551-559.
On the definition of ordered N‐tuples.Olaf Neumann - 1984 - Mathematical Logic Quarterly 30 (13-16):197-198.
Äquivalenzklassen von n‐Tupeln.Erwin Engeler - 1959 - Mathematical Logic Quarterly 5 (14-24):340-345.
The ∀ n∃‐Completeness of Zermelo‐Fraenkel Set Theory.Daniel Gogol - 1978 - Mathematical Logic Quarterly 24 (19-24):289-290.
ON THE EXPRESSIVE POWER OF THE LOGICS L_(Q α _n1_,…, _n_ _m).Andreas Rapp - 1984 - Mathematical Logic Quarterly 30 (1-6):11-20.
The Concept of n‐Cylinder and its Application.M. B. Thuraisingham - 1986 - Mathematical Logic Quarterly 32 (13-16):211-219.
An algebraic approach to elementary theories based on N‐valued Lukasiewicz logics.Roberto Cignoli - 1984 - Mathematical Logic Quarterly 30 (1-6):87-96.
The Halting Problem of one State Turing Machines with n‐Dimensional Tape.G. T. Herman - 1968 - Mathematical Logic Quarterly 14 (7-12):185-191.

Analytics

Added to PP
2015-12-02

Downloads
23 (#704,507)

6 months
5 (#711,375)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Almost everywhere domination and superhighness.Stephen G. Simpson - 2007 - Mathematical Logic Quarterly 53 (4):462-482.
Mass problems and hyperarithmeticity.Joshua A. Cole & Stephen G. Simpson - 2007 - Journal of Mathematical Logic 7 (2):125-143.
Lowness properties and approximations of the jump.Santiago Figueira, André Nies & Frank Stephan - 2008 - Annals of Pure and Applied Logic 152 (1):51-66.
Bounded low and high sets.Bernard A. Anderson, Barbara F. Csima & Karen M. Lange - 2017 - Archive for Mathematical Logic 56 (5-6):507-521.

View all 10 citations / Add more citations

References found in this work

Theory of Recursive Functions and Effective Computability.Hartley Rogers - 1971 - Journal of Symbolic Logic 36 (1):141-146.
The infinite injury priority method.Robert I. Soare - 1976 - Journal of Symbolic Logic 41 (2):513-530.

Add more references