Uncountable degree spectra (Q1182483): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of recursive structures in arithmetical degrees
+Normal rank
@@ Property / cites work @@
+Recursive Labelling Systems and Stability of Recursive Structures in Hyperarithmetical Degrees
+Normal rank
@@ Property / cites work @@
+Q3919698
@@ Property / cites work: Q3919698 / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
@@ Property / cites work: Intrinsically \(\Sigma ^ 0_{\alpha}\) relations / rank @@
+Normal rank
@@ Property / cites work @@
+Autostability and computable families of constructivizations
+Normal rank
@@ Property / cites work @@
+∏ 0 1 Classes and Degrees of Theories
@@ Property / cites work: ∏ 0 1 Classes and Degrees of Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+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 @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1182483