Random reals and possibly infinite computations Part I: Randomness in ∅′ (Q5718694): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1122038919
@@ Property / DOI: 10.2178/jsl/1122038919 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1122038919
+Normal rank
@@ Property / OpenAlex ID @@
+W1969078420
@@ Property / OpenAlex ID: W1969078420 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q61927044
@@ Property / Wikidata QID: Q61927044 / rank @@
+Normal rank
@@ Property / cites work @@
+The definition of random sequences
@@ Property / cites work: The definition of random sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Descriptive set theory
@@ Property / cites work: Descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Program Size Formally Identical to Information Theory
+Normal rank
@@ Property / cites work @@
+Adherences of languages
@@ Property / cites work: Adherences of languages / rank @@
+Normal rank
@@ Property / cites work @@
+Recursion and topology on \(2^{\leq\omega}\) for possibly infinite computations
+Normal rank
@@ Property / cites work @@
+The topological structure of adherences of regular languages
+Normal rank
@@ Property / cites work @@
+Presentations of computably enumerable reals.
@@ Property / cites work: Presentations of computably enumerable reals. / rank @@
+Normal rank
@@ Property / cites work @@
+Randomness, Computability, and Density
@@ Property / cites work: Randomness, Computability, and Density / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic entropy of sets
@@ Property / cites work: Algorithmic entropy of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Process complexity and effective random tests
@@ Property / cites work: Process complexity and effective random tests / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4337021
@@ Property / cites work: Q4337021 / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1122038919
@@ Property / DOI: 10.2178/JSL/1122038919 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5718694