Decidability, Recursive Enumerability and Kleene Hierarchy ForL-Subsets

&
Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (1):49-62 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350107

Links

PhilArchive



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

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 Hierarchy of Primitive Recursive Functions.J. P. Cleave - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (22):331-346.
Decidability of Some Extensions ofJ.R. I. Goldblatt - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18):203-206.
Decidability, Recursive Enumerability and Kleene Hierarchy For L‐Subsets.Loredana Biacino & Giangiacomo Gerla - 1989 - Mathematical Logic Quarterly 35 (1):49-62.
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.
Automorphisms and Recursive Structures.R. G. Downey & J. B. Remmel - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (4):339-345.
A Decidable Fragment of Recursive Arithmetic.R. L. Goodstein - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (12-15):199-201.
An elementary system as and its semi-completeness and decidability.Qin Jun - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):305-320.
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.

Analytics

Added to PP
2015-12-02

Downloads
32 (#488,220)

6 months
9 (#436,631)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Inferences in probability logic.Giangiacomo Gerla - 1994 - Artificial Intelligence 70 (1-2):33-52.
Effectiveness and Multivalued Logics.Giangiacomo Gerla - 2006 - Journal of Symbolic Logic 71 (1):137 - 162.

Add more citations

References found in this work

Add more references