Π11 relations and paths through (Q5311742): Difference between revisions

@@ Property / cites work @@
+Computable isomorphisms, degree spectra of relations, and Scott families
+Normal rank
@@ Property / cites work @@
+Countable retracing functions and \(\Pi_2^0\) predicates
+Normal rank
@@ Property / cites work @@
+Intrinsically \(\Sigma ^ 0_{\alpha}\) relations
@@ Property / cites work: Intrinsically \(\Sigma ^ 0_{\alpha}\) relations / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing with tagged trees
@@ Property / cites work: Forcing with tagged trees / rank @@
+Normal rank
@@ Property / cites work @@
+Generic copies of countable structures
@@ Property / cites work: Generic copies of countable structures / rank @@
+Normal rank
@@ Property / cites work @@
+Intrinsically II Relations
@@ Property / cites work: Intrinsically II Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank
@@ Property / cites work @@
+Intrinsically Hyperarithmetical Sets
@@ Property / cites work: Intrinsically Hyperarithmetical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Possible degrees in recursive copies. II
@@ Property / cites work: Possible degrees in recursive copies. II / rank @@
+Normal rank
@@ Property / cites work @@
+Possible degrees in recursive copies
@@ Property / cites work: Possible degrees in recursive copies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Degree spectra and computable dimensions in algebraic structures
+Normal rank
@@ Property / cites work @@
+Some effects of Ash-Nerode and other decidability conditions on degree spectra
+Normal rank
@@ Property / cites work @@
+The quantity of nonautoequivalent constructivizations
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Models with compactness properties relative to an admissible language
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution to a Problem of Spector
@@ Property / cites work: Solution to a Problem of Spector / rank @@
+Normal rank

Π<sub>1</sub><sup>1</sup> relations and paths through (Q5311742): Difference between revisions

Revision as of 15:45, 10 June 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)