A New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems

Mathematical Logic Quarterly 25 (7‐12):135-162 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19790250707

Links

PhilArchive



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

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 New General Approach to the Theory of the Many‐One Equivalence of Decision Problems for Algorithmic Systems.Egon Börger - 1979 - Mathematical Logic Quarterly 25 (7-12):135-162.
The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.
Restricted Decision Problems in Some Classes of Algebraic Systems.Michałl Muzalewski - 1978 - Mathematical Logic Quarterly 24 (17‐18):279-287.
Restricted Decision Problems in Some Classes of Algebraic Systems.Michałl Muzalewski - 1978 - Mathematical Logic Quarterly 24 (17-18):279-287.
Decision problems associated with complete deterministic normal systems.Paul Axt & W. E. Singletary - 1969 - Mathematical Logic Quarterly 15 (19):299-304.
The one-one equivalence of some general combinatorial decision problems.Charles E. Hughes & W. E. Singletary - 1977 - Notre Dame Journal of Formal Logic 18 (2):305-309.
The one-one equivalence of some general combinatorial decision problems.Charles E. Hughes - 1977 - Notre Dame Journal of Formal Logic 18:305.
Representation of One‐One Degrees by n‐Cylindrical Decision Problems.M. B. Thuraisingham - 1988 - Mathematical Logic Quarterly 34 (6):481-490.
A Uniform Approach to Fundamental Sequences and Hierarchies.Wilfried Buchholz, Adam Cichon & Andreas Weiermann - 1994 - Mathematical Logic Quarterly 40 (2):273-286.
On the Equivalence Between Logic‐Free and Logic‐Bearing Systems of Primitive Recursive Arithmetic.Daniel G. Schwartz - 1987 - Mathematical Logic Quarterly 33 (3):245-253.

Analytics

Added to PP
2013-11-24

Downloads
12 (#317,170)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Degree problems for modular machines.Daniel E. Cohen - 1980 - Journal of Symbolic Logic 45 (3):510-528.

Add more citations

References found in this work

Mathematical logic.Joseph R. Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.
Recursive Function Theory and Logic.Ann Yasuhara - 1975 - Journal of Symbolic Logic 40 (4):619-620.
Formal Languages.Arto Salomaa - 1977 - Journal of Symbolic Logic 42 (4):583-584.

View all 6 references / Add more references