Principal filters definable by parameters in 𝓔bT (Q3616223): Difference between revisions

@@ Property / cites work @@
+The undecidability of the Π<sub>4</sub>-theory for the r.e. wtt and Turing degrees
+Normal rank
@@ Property / cites work @@
+Definable Filters in the Structure of Bounded Turing Reductions
+Normal rank
@@ Property / cites work @@
+On Lachlan's major sub-degree problem
@@ Property / cites work: On Lachlan's major sub-degree problem / rank @@
+Normal rank
@@ Property / cites work @@
+The $\Pi _3$-theory of the computably enumerable Turing degrees is undecidable
+Normal rank
@@ Property / cites work @@
+The continuity of cupping to \(\text \textbf{0}'\)
+Normal rank
@@ Property / cites work @@
+Decidability of the two-quantifier theory of the recursively enumerable weak truth-table degrees and other distributive upper semi-lattices
+Normal rank
@@ Property / cites work @@
+Continuity of capping in \(\mathcal C_{\text{bT}}\)
+Normal rank

Principal filters definable by parameters in 𝓔<sub>bT</sub> (Q3616223): Difference between revisions