Degrees of categoricity of computable structures (Q2655143): Difference between revisions

@@ Property / cites work @@
+Computably categorical structures and expansions by constants
+Normal rank
@@ Property / cites work @@
+Effective procedures in field theory
@@ Property / cites work: Effective procedures in field theory / rank @@
+Normal rank
@@ Property / cites work @@
+Problem of the number of non-self-equivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Q3331204
@@ Property / cites work: Q3331204 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249361
@@ Property / cites work: Q4249361 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of Categorical Theories with Computable Models
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249356
@@ Property / cites work: Q4249356 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Number theoretic concepts and recursive well-orderings
+Normal rank
@@ Property / cites work @@
+Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories
+Normal rank
@@ Property / cites work @@
+<i>d</i>-computable categoricity for algebraic fields
+Normal rank
@@ Property / cites work @@
+Q3665097
@@ Property / cites work: Q3665097 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Structures
@@ Property / cites work: Degrees of Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank