Degree Spectra of Relations on Computable Structures (Q4508282): Difference between revisions

@@ Property / cites work @@
+Autostability of models
@@ Property / cites work: Autostability of models / rank @@
+Normal rank
@@ Property / cites work @@
+Computable single-valued numerations
@@ Property / cites work: Computable single-valued numerations / rank @@
+Normal rank
@@ Property / cites work @@
+The quantity of nonautoequivalent constructivizations
+Normal rank
@@ Property / cites work @@
+The d.r.e. degrees are not dense
@@ Property / cites work: The d.r.e. degrees are not dense / rank @@
+Normal rank
@@ Property / cites work @@
+Computably categorical structures and expansions by constants
+Normal rank
@@ Property / cites work @@
+Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
@@ Property / cites work: Intrinsically \(\Sigma ^ 0_{\alpha}\) relations / rank @@
+Normal rank
@@ Property / cites work @@
+Permitting, forcing, and copying of a given recursive relation
+Normal rank
@@ Property / cites work @@
+Strong and weak constructivization and computable families
+Normal rank
@@ Property / cites work @@
+Relations Intrinsically Recursive in Linear Orders
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Recursive categoricity and persistence
@@ Property / cites work: Recursive categoricity and persistence / rank @@
+Normal rank
@@ Property / cites work @@
+Effective content of field theory
@@ Property / cites work: Effective content of field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computable isomorphisms, degree spectra of relations, and Scott families
+Normal rank
@@ Property / cites work @@
+The possible Turing degree of the nonzero member in a two element degree spectrum
+Normal rank
@@ Property / cites work @@
+Some effects of Ash-Nerode and other decidability conditions on degree spectra
+Normal rank
@@ Property / cites work @@
+Nilpotent groups of finite algorithmic dimension
@@ Property / cites work: Nilpotent groups of finite algorithmic dimension / rank @@
+Normal rank
@@ Property / cites work @@
+Turing degrees of certain isomorphic images of computable relations
+Normal rank