Part of the Ergebnisse der Mathematik und ihrer Grenzgebiete book series (MATHE2, volume 81)


The method of frames originated in Nerode [1961]. There frames were used to extend recursively enumerable relations on the natural numbers to Dedekind \( \mathbb{S} \)-RETs (isols). The main effect of the method is to obtain effective properties of Dedekind \( \mathbb{S} \)-RETs by approximating them effectively by using finite sets. The main application is the reduction of questions about Dedekind \( \mathbb{S} \)-RETs to questions about natural numbers. The method generalizes to all the categories we have considered but the results are most striking (and most obviously the generalizations of earlier results) in the case where the categories involved have dimension. However, in many other cases a weaker property (the automorphism extension property) allows us to obtain full analogues of Nerode’s [1961] results. But first we need the machinery.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  1. 1.Monash UniversityMelbourneAustralia
  2. 2.Cornell UniversityIthacaUSA

Personalised recommendations