Degrees that Are Low for Isomorphism
نویسندگان
چکیده
We say that a degree is low for isomorphism if, whenever it can compute an isomorphism between a pair of computable structures, there is already a computable isomorphism between them. We show that while there is no clear-cut relationship between this property and other properties related to computational weakness, the low-forisomorphism degrees contain all Cohen 2-generics and are disjoint from the Martin-Löf randoms. We also consider lowness for isomorphism with respect to the class of linear orders.
منابع مشابه
Turing Degrees of Nonabelian Groups
For a countable structureA, the (Turing) degree spectrum of A is the set of all Turing degrees of its isomorphic copies. If the degree spectrum of A has the least degree d, then we say that d is the (Turing) degree of the isomorphism type of A. So far, degrees of the isomorphism types have been studied for abelian and metabelian groups. Here, we focus on highly nonabelian groups. We show that t...
متن کاملOn Isomorphism Theorems of Fn -Polygroups
In this paper, the notion of fuzzy n-polygroups (Fn -polygroups) is introduced and some related properties are investigated. In this regards, the concepts of normal F-subpolygroups and homomorphisms of Fn-polygroups are adopted. Also, the quotient of Fn-polygroups by defining regular relations are studied. Finally, the classical isomorphism theorems of groups are generalized to Fn-polygroups p...
متن کاملNew insights into DNA triplexes: residual twist and radial difference as measures of base triplet non-isomorphism and their implication to sequence-dependent non-uniform DNA triplex
DNA triplexes are formed by both isomorphic (structurally alike) and non-isomorphic (structurally dissimilar) base triplets. It is espoused here that (i) the base triplet non-isomorphism may be articulated in structural terms by a residual twist (Delta(t) degrees), the angle formed by line joining the C1'...C1' atoms of the adjacent Hoogsteen or reverse Hoogsteen (RH) base pairs and the differe...
متن کاملO / 0 50 71 28 v 1 6 J ul 2 00 5 TURING DEGREES OF ISOMORPHISM TYPES OF ALGEBRAIC OBJECTS
The Turing degree spectrum of a countable structure A is the set of all Turing degrees of isomorphic copies of A. The Turing degree of the isomorphism type of A, if it exists, is the least Turing degree in its degree spectrum. We show there are countable fields, rings, and torsion-free abelian groups of arbitrary rank, whose isomorphism types have arbitrary Turing degrees. We also show that the...
متن کاملDegrees of M-fuzzy families of independent L-fuzzy sets
The present paper studies fuzzy matroids in view of degree. First wegeneralize the notion of $(L,M)$-fuzzy independent structure byintroducing the degree of $M$-fuzzy family of independent $L$-fuzzysets with respect to a mapping from $L^X$ to $M$. Such kind ofdegrees is proved to satisfy some axioms similar to those satisfiedby $(L,M)$-fuzzy independent structure. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Computability
دوره 3 شماره
صفحات -
تاریخ انتشار 2014