When are two effectively given domains identical?

  • Akira Kanda
  • David Park
Vorträge (In Alphabetischer Reihenfolge)

DOI: 10.1007/3-540-09118-1_19

Part of the Lecture Notes in Computer Science book series (LNCS, volume 67)
Cite this paper as:
Kanda A., Park D. (1979) When are two effectively given domains identical?. In: Weihrauch K. (eds) Theoretical Computer Science 4th GI Conference. Lecture Notes in Computer Science, vol 67. Springer, Berlin, Heidelberg

Abstract

In this paper, we will observe that the notion of computability in an effectively given domain is dependent on the indexing of its basis. This indicates that we cannot identify two effectively given domains just because they are order isomorphic. We propose a suitable notion of effective isomorphism to compensate for this deficiency. Also we show that, for every recursion domain equation, there is an effectively given domain which is an initial solution to within effective isomorphism.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1979

Authors and Affiliations

  • Akira Kanda
  • David Park

There are no affiliations available

Personalised recommendations