Automorphisms of the lattice of $\Pi _1^0$ classes; perfect thin classes and anc degrees (Q2750927): Difference between revisions

@@ Property / cites work @@
+Q5570212
@@ Property / cites work: Q5570212 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934277
@@ Property / cites work: Q4934277 / rank @@
+Normal rank
@@ Property / cites work @@
+Countable thin \(\Pi^0_1\) classes
@@ Property / cites work: Countable thin \(\Pi^0_1\) classes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249723
@@ Property / cites work: Q4249723 / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of the Lattice of Recursively Enumerable Sets: Promptly Simple Sets
+Normal rank
@@ Property / cites work @@
+Abstract dependence, recursion theory, and the lattice of recursively enumerable filters
+Normal rank
@@ Property / cites work @@
+Maximal theories
@@ Property / cites work: Maximal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4348127
@@ Property / cites work: Q4348127 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective presentability of Boolean algebras of Cantor-Bendixson rank 1
+Normal rank
@@ Property / cites work @@
+Q3197814
@@ Property / cites work: Q3197814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4863240
@@ Property / cites work: Q4863240 / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Boolean algebras
@@ Property / cites work: Hierarchies of Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of substructure lattices in recursive algebra
+Normal rank
@@ Property / cites work @@
+Post's program and incomplete recursively enumerable sets.
+Normal rank
@@ Property / cites work @@
+Q4731179
@@ Property / cites work: Q4731179 / rank @@
+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 @@
+Note on arithmetic models for consistent formulae of the predicate calculus
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Degrees of Unsolvability
+Normal rank
@@ Property / cites work @@
+Axiomatizable theories with few axiomatizable extensions
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+A maximal set which is not complete
@@ Property / cites work: A maximal set which is not complete / rank @@
+Normal rank
@@ Property / cites work @@
+Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
+Normal rank
@@ Property / cites work @@
+Q3819052
@@ Property / cites work: Q3819052 / rank @@
+Normal rank