Automorphisms and Recursive Structures

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):339-345 (1987)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Automorphisms and Recursive Structures.R. G. Downey & J. B. Remmel - 1987 - Mathematical Logic Quarterly 33 (4):339-345.
Automorphisms of the Lattice of Recursively Enumerable Vector Spaces.Iraj Kalantari - 1979 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 25 (25-29):385-401.
Boolean-Valued Models of Set Theory with Automorphisms.E. G. Hernandez - 1986 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 32 (7-9):117-130.
Undecidability and recursive inseparability.Raymond M. Smullyan - 1958 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4 (7-11):143-147.
A Classification of the Recursive Functions.Albert R. Meyer & Dennis M. Ritchie - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (4-6):71-82.
Recursive Solvability of Problems with Matrices.Melven Krom & Myren Krom - 1989 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (5):437-442.
The Structure of the Lattice of Recursive Sets.Bernhard G. Goetze - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):187-191.
A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
A Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (22):331-346.
The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set.Egon Börger & Hans Kleine Büning - 1980 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 26 (28-30):459-469.

Analytics

Added to PP
2015-12-02

Downloads
41 (#400,450)

6 months
10 (#308,815)

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

Universal Algebra.George Grätzer - 1982 - Studia Logica 41 (4):430-431.
Recursion theory.Anil Nerode & Richard A. Shore (eds.) - 1985 - Providence, R.I.: American Mathematical Society.

Add more references