The Theory of Countable Analytical Sets (Q4078033): Difference between revisions

@@ Property / cites work @@
+Q3214912
@@ Property / cites work: Q3214912 / rank @@
+Normal rank
@@ Property / cites work @@
+SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
+Normal rank
@@ Property / cites work @@
+Infinitary logic and admissible sets
@@ Property / cites work: Infinitary logic and admissible sets / rank @@
+Normal rank
@@ Property / cites work @@
+The Shoenfield absoluteness lemma
@@ Property / cites work: The Shoenfield absoluteness lemma / rank @@
+Normal rank
@@ Property / cites work @@
+The next admissible set
@@ Property / cites work: The next admissible set / rank @@
+Normal rank
@@ Property / cites work @@
+Degrees of unsolvability of constructible sets of integers
+Normal rank
@@ Property / cites work @@
+Q5342877
@@ Property / cites work: Q5342877 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5626663
@@ Property / cites work: Q5626663 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5607987
@@ Property / cites work: Q5607987 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4073379
@@ Property / cites work: Q4073379 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure and category in effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Two theorems about projective sets
@@ Property / cites work: Two theorems about projective sets / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
+Normal rank
@@ Property / cites work @@
+Q5642548
@@ Property / cites work: Q5642548 / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect subsets of definable sets of real numbers
@@ Property / cites work: Perfect subsets of definable sets of real numbers / rank @@
+Normal rank
@@ Property / cites work @@
+A Souslin operation for \(\Pi^1_2\)
@@ Property / cites work: A Souslin operation for \(\Pi^1_2\) / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinateness and reduction principles in the analytical hierarchy
+Normal rank
@@ Property / cites work @@
+A basis theorem for \(\sum^ 1_ 3\) sets of reals
@@ Property / cites work: A basis theorem for \(\sum^ 1_ 3\) sets of reals / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformization in a playful universe
@@ Property / cites work: Uniformization in a playful universe / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary induction on abstract structures
@@ Property / cites work: Elementary induction on abstract structures / rank @@
+Normal rank
@@ Property / cites work @@
+On the axiom of determinateness
@@ Property / cites work: On the axiom of determinateness / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive transfinite number classes
@@ Property / cites work: Constructive transfinite number classes / rank @@
+Normal rank
@@ Property / cites work @@
+Countable admissible ordinals and hyperdegrees
@@ Property / cites work: Countable admissible ordinals and hyperdegrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q5537599
@@ Property / cites work: Q5537599 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and \(\Delta^1_3\) well-orderings
+Normal rank
@@ Property / cites work @@
+A complete classification of the Δ₂¹-functions
+Normal rank
@@ Property / cites work @@
+A Property of Arithmetic Sets
@@ Property / cites work: A Property of Arithmetic Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On nonmonotone inductive definability
@@ Property / cites work: On nonmonotone inductive definability / rank @@
+Normal rank