|
This article is cited in 2 scientific papers (total in 2 papers)
Relatively Hyperimmune Relations on Structures
S. S. Goncharova, Ch. F. McCoyb, J. F. Knightc, V. S. Harizanovad a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
b University of Wisconsin-Madison
c University of Notre Dame
d George Washington University
Abstract:
Let $\mathcal{A}$ 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 $\mathcal{B}$ of $\mathcal{A}$ such that the image of $R$ ($\lnot R$) is $h$-simple ($h$-immune) relative to $\mathcal{B}$.
Keywords:
computable structure, relatively hyperimmune relation, relatively hypersimple relation.
Received: 23.04.2002
Citation:
S. S. Goncharov, Ch. F. McCoy, J. F. Knight, V. S. Harizanova, “Relatively Hyperimmune Relations on Structures”, Algebra Logika, 43:2 (2004), 170–183; Algebra and Logic, 43:2 (2004), 94–101
Linking options:
https://www.mathnet.ru/eng/al62 https://www.mathnet.ru/eng/al/v43/i2/p170
|
Statistics & downloads: |
Abstract page: | 337 | Full-text PDF : | 92 | References: | 54 | First page: | 1 |
|