RANDOMNESS VIA INFINITE COMPUTATION AND EFFECTIVE DESCRIPTIVE SET THEORY (Q4579818): Difference between revisions

@@ Property / DOI @@
-.1017/jsl.2018.3
@@ Property / DOI: 10.1017/jsl.2018.3 / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W2963554245
@@ Property / OpenAlex ID: W2963554245 / rank @@
+Normal rank
@@ Property / cites work @@
+The descriptive set theory of the Lebesgue density theorem
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous higher randomness
@@ Property / cites work: Continuous higher randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4844091
@@ Property / cites work: Q4844091 / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness and degree theory for infinite time register machines1
+Normal rank
@@ Property / cites work @@
+Infinite time recognizability from generic oracles and the recognizable jump operator1
+Normal rank
@@ Property / cites work @@
+The basic theory of infinite time register machines
+Normal rank
@@ Property / cites work @@
+Infinite computations with random oracles
@@ Property / cites work: Infinite computations with random oracles / rank @@
+Normal rank
@@ Property / cites work @@
+Recognizable sets and Woodin cardinals: computation beyond the constructible universe
+Normal rank
@@ Property / cites work @@
+RANDOMNESS IN THE HIGHER SETTING
@@ Property / cites work: RANDOMNESS IN THE HIGHER SETTING / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion theory. Computational aspects of definability
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Hypermachines
@@ Property / cites work: Hypermachines / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite time Turing machines
@@ Property / cites work: Infinite time Turing machines / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness via effective descriptive set theory
@@ Property / cites work: Randomness via effective descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing absoluteness and regularity properties
@@ Property / cites work: Forcing absoluteness and regularity properties / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3535899
@@ Property / cites work: Q3535899 / rank @@
+Normal rank
@@ Property / cites work @@
+Measure and category in effective descriptive set theory
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Higher randomness and forcing with closed sets
@@ Property / cites work: Higher randomness and forcing with closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree Representations via Ordinal Machines
@@ Property / cites work: Tree Representations via Ordinal Machines / rank @@
+Normal rank
@@ Property / cites work @@
+The Length of Infinite Time Turing Machine Computations
+Normal rank
@@ Property / cites work @@
+Characteristics of discrete transfinite time Turing machine models: Halting times, stabilization times, and normal form theorems
+Normal rank
@@ Property / cites work @@
+Descriptive set theoretical complexity of randomness notions
+Normal rank
@@ Property / cites work @@
+On the Reals Which Cannot Be Random
@@ Property / cites work: On the Reals Which Cannot Be Random / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q129478446
@@ Property / Wikidata QID: Q129478446 / rank @@
+Normal rank
@@ Property / DOI @@
+.1017/JSL.2018.3
@@ Property / DOI: 10.1017/JSL.2018.3 / rank @@
+Normal rank