Recursion theory on algebraic structures with independent sets

Annals of Mathematical Logic 18 (2):153 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(80)90016-9

Links

PhilArchive



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

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

Splitting theorems in recursion theory.Rod Downey & Michael Stob - 1993 - Annals of Pure and Applied Logic 65 (1):1-106.
Computability of String Functions Over Algebraic Structures Armin Hemmerling.Armin Hemmerling - 1998 - Mathematical Logic Quarterly 44 (1):1-44.
Algebraic recursion theory.Ljubomir Lalov Ivanov - 1986 - New York: Halsted Press.
Diagonal fixed points in algebraic recursion theory.Jordan Zashev - 2005 - Archive for Mathematical Logic 44 (8):973-994.
Computability, enumerability, unsolvability: directions in recursion theory.S. B. Cooper, T. A. Slaman & S. S. Wainer (eds.) - 1996 - New York: Cambridge University Press.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Cohesive toposes and Cantor's 'lauter einsen'.F. W. Lawvere - 1994 - Philosophia Mathematica 2 (1):5-15.
Myhill's work in recursion theory.J. C. E. Dekker & E. Ellentuck - 1992 - Annals of Pure and Applied Logic 56 (1-3):43-71.
Is recursion language-specific? Evidence of recursive mechanisms in the structure of intentional action.Giuseppe Vicari & Mauro Adenzato - 2014 - Consciousness and Cognition 26:169-188.
Classical recursion theory: the theory of functions and sets of natural numbers.Piergiorgio Odifreddi - 1989 - New York, N.Y., USA: Sole distributors for the USA and Canada, Elsevier Science Pub. Co..
Generalized recursion theory II: proceedings of the 1977 Oslo symposium.Jens Erik Fenstad, R. O. Gandy & Gerald E. Sacks (eds.) - 1978 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
An Algebraic Analysis of Normative Systems.Jan Odelstad Lars Lindahl - 2000 - Ratio Juris 13 (3):261-278.
Tabular degrees in \Ga-recursion theory.Colin Bailey & Rod Downey - 1992 - Annals of Pure and Applied Logic 55 (3):205-236.
Algebraicity and Implicit Definability in Set Theory.Joel David Hamkins & Cole Leahy - 2016 - Notre Dame Journal of Formal Logic 57 (3):431-439.
On the Recursion Theorem in Iterative Operative Spaces.J. Zashev - 2001 - Journal of Symbolic Logic 66 (4):1727-1748.

Analytics

Added to PP
2014-01-17

Downloads
9 (#1,247,499)

6 months
2 (#1,187,206)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Classifications of degree classes associated with r.e. subspaces.R. G. Downey & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 42 (2):105-124.
First-order theories of abstract dependence relations.John T. Baldwin - 1984 - Annals of Pure and Applied Logic 26 (3):215-243.
Maximal theories.R. G. Downey - 1987 - Annals of Pure and Applied Logic 33 (C):245-282.
Complexity-theoretic algebra II: Boolean algebras.A. Nerode & J. B. Remmel - 1989 - Annals of Pure and Applied Logic 44 (1-2):71-99.

View all 11 citations / Add more citations

References found in this work

Creative sets.John Myhill - 1955 - Mathematical Logic Quarterly 1 (2):97-108.
Creative sets.John Myhill - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):97-108.
Combinatorial Functors.J. N. Crossley & Anil Nerode - 1977 - Journal of Symbolic Logic 42 (4):586-587.

View all 22 references / Add more references