Theory spectra and classes of theories (Q5267981): Difference between revisions

@@ Property / cites work @@
+Spectra of Atomic Theories
@@ Property / cites work: Spectra of Atomic Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of theories and structures
@@ Property / cites work: Spectra of theories and structures / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability associated with classes of formalized theories
+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 @@
+Some Notes on Degree Spectra of the Structures
@@ Property / cites work: Some Notes on Degree Spectra of the Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Spectra of degrees of some structures
@@ Property / cites work: Spectra of degrees of some structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3068301
@@ Property / cites work: Q3068301 / rank @@
+Normal rank
@@ Property / cites work @@
+Computable models of theories with few models
@@ Property / cites work: Computable models of theories with few models / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938559
@@ Property / cites work: Q4938559 / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of Recursively Saturated Models
@@ Property / cites work: Degrees of Recursively Saturated Models / rank @@
+Normal rank
@@ Property / cites work @@
+Non <i>Σ</i><sub><i>n</i></sub> axiomatizable almost strongly minimal theories
+Normal rank