Spectra of theories and structures (Q5496464): Difference between revisions

@@ Property / cites work @@
+Theory spectra and classes of theories
@@ Property / cites work: Theory spectra and classes of theories / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of Atomic Theories
@@ Property / cites work: Spectra of Atomic Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and immunity properties
@@ Property / cites work: Degree spectra and immunity properties / rank @@
+Normal rank
@@ Property / cites work @@
+Natural Large Degree Spectra
@@ Property / cites work: Natural Large Degree Spectra / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4882531
@@ Property / cites work: Q4882531 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations in computable structure theory
@@ Property / cites work: Enumerations in computable structure theory / rank @@
+Normal rank
@@ Property / cites work @@
+RELATIVE TO ANY NON-HYPERARITHMETIC SET
@@ Property / cites work: RELATIVE TO ANY NON-HYPERARITHMETIC SET / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Q4336034
@@ Property / cites work: Q4336034 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees coded in jumps of orderings
@@ Property / cites work: Degrees coded in jumps of orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3758821
@@ Property / cites work: Q3758821 / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite extensions of Friedberg's completeness criterion
+Normal rank
@@ Property / cites work @@
+Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories
+Normal rank
@@ Property / cites work @@
+Degrees of Structures
@@ Property / cites work: Degrees of Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive in a generic real
@@ Property / cites work: Recursive in a generic real / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5711186
@@ Property / cites work: Q5711186 / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerations, countable structures and Turing degrees
+Normal rank