Hyperarithmetically Encodable Sets (Q4198744): Difference between revisions

@@ Property / cites work @@
+Representability in some systems of second order arithmetic
+Normal rank
@@ Property / cites work @@
+Q3214912
@@ Property / cites work: Q3214912 / rank @@
+Normal rank
@@ Property / cites work @@
+Borel sets and Ramsey's theorem
@@ Property / cites work: Borel sets and Ramsey's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The fine structure of the constructible hierarchy
@@ Property / cites work: The fine structure of the constructible hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformly introreducible sets
@@ Property / cites work: Uniformly introreducible sets / rank @@
+Normal rank
@@ Property / cites work @@
+Encodability of Kleene's <i>O</i>
@@ Property / cites work: Encodability of Kleene's <i>O</i> / rank @@
+Normal rank
@@ Property / cites work @@
+The Theory of Countable Analytical Sets
@@ Property / cites work: The Theory of Countable Analytical Sets / rank @@
+Normal rank
@@ Property / cites work @@
+The α-finite injury method
@@ Property / cites work: The α-finite injury method / rank @@
+Normal rank
@@ Property / cites work @@
+Sets with no subset of higher degree
@@ Property / cites work: Sets with no subset of higher degree / rank @@
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank