Recursion theory in a lower semilattice

Journal of Symbolic Logic 57 (3):892-911 (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2275438

Links

PhilArchive



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

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

On the $\Sigma_2$-Theory of the Upper Semilattice of Turing Degrees.Carl G. Jockusch & Theodore A. Slaman - 1993 - Journal of Symbolic Logic 58 (1):193-204.
Models for recursion theory.Johan Moldestad & Dag Normann - 1976 - Journal of Symbolic Logic 41 (4):719-729.
First-Order Dynamic Logic.David Harel - 1982 - Journal of Symbolic Logic 47 (2):453-454.
Recursion Theory as a Branch of Model Theory.R. Montague - 1973 - Journal of Symbolic Logic 38 (1):158-159.
Recursion Theory and Algebra.G. Metakides, A. Nerode, J. N. Crossley, Iraj Kalantari & Allen Retzlaff - 1986 - Journal of Symbolic Logic 51 (1):229-232.
Algebraic Recursion Theory.Dag Normann - 1988 - Journal of Symbolic Logic 53 (3):986-987.
β-Recursion Theory.Sy D. Friedman - 1981 - Journal of Symbolic Logic 46 (3):664-665.
An axiomatic version of positive semilattice relevance logic.G. Charlwood - 1981 - Journal of Symbolic Logic 46 (2):233-239.
Classical Recursion Theory.Peter G. Hinman - 2001 - Bulletin of Symbolic Logic 7 (1):71-73.
Techniques of Admissible Recursion Theory.Anne Leggett - 1987 - Journal of Symbolic Logic 52 (1):285-287.

Analytics

Added to PP
2009-01-28

Downloads
29 (#135,560)

6 months
1 (#1,912,481)

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

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.

Add more references