RELATIVELY HYPERIMMUNE RELATIONS ON STRUCTURES

    loading  Checking for direct PDF access through Ovid

Abstract

Let 𝒜 be a computable structure and let R be an additional relation on its domain. We establish a necessary and sufficient condition for the existence of an isomorphic copy ℬ of 𝒜 such that the image of R (⌟R) is h-simple (h-immune) relative to ℬ.

Related Topics

    loading  Loading Related Articles