Measure-theoretic uniformity and the Suslin functional (Q4995604): Difference between revisions

@@ Property / cites work @@
+Classical hierarchies from a modern standpoint. Part I. C-sets
+Normal rank
@@ Property / cites work @@
+RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of choice
@@ Property / cites work: Axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchies of Effective Descriptive Set Theory
@@ Property / cites work: Hierarchies of Effective Descriptive Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Functionals and Quantifiers of Finite Types I
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Higher-Order Computability
@@ Property / cites work: Higher-Order Computability / rank @@
+Normal rank
@@ Property / cites work @@
+Turing's Legacy
@@ Property / cites work: Turing's Legacy / rank @@
+Normal rank
@@ Property / cites work @@
+Functionals of type 3 as realisers of classical theorems in analysis
+Normal rank
@@ Property / cites work @@
+The strength of compactness in computability theory and nonstandard analysis
+Normal rank
@@ Property / cites work @@
+On the mathematical and foundational significance of the uncountable
+Normal rank
@@ Property / cites work @@
+Measure-Theoretic Uniformity in Recursion Theory and Set Theory
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Probability measures and the C-sets of Selivanovskij
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+A model of set-theory in which every set of reals is Lebesgue measurable
+Normal rank
@@ Property / cites work @@
+Q5583851
@@ Property / cites work: Q5583851 / rank @@
+Normal rank
@@ Property / cites work @@
+The Length of Infinite Time Turing Machine Computations
+Normal rank
@@ Property / cites work @@
+Higher type recursion for transfinite machine theory
+Normal rank