Computability on random events and variables in a computable probability space (Q690479): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2012.06.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2029506029
@@ Property / OpenAlex ID: W2029506029 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4943605
@@ Property / cites work: Q4943605 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive measure theory
@@ Property / cites work: Constructive measure theory / rank @@
+Normal rank
@@ Property / cites work @@
+On the combination of topologies
@@ Property / cites work: On the combination of topologies / rank @@
+Normal rank
@@ Property / cites work @@
+The constructive Radon-Nikodym theorem
@@ Property / cites work: The constructive Radon-Nikodym theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3415147
@@ Property / cites work: Q3415147 / rank @@
+Normal rank
@@ Property / cites work @@
+A constructive study of measure theory
@@ Property / cites work: A constructive study of measure theory / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on constructive probability theory
@@ Property / cites work: Notes on constructive probability theory / rank @@
+Normal rank
@@ Property / cites work @@
+On Sequential Convergence
@@ Property / cites work: On Sequential Convergence / rank @@
+Normal rank
@@ Property / cites work @@
+Domain theory and integration
@@ Property / cites work: Domain theory and integration / rank @@
+Normal rank
@@ Property / cites work @@
+A computable approach to measure and integration theory
+Normal rank
@@ Property / cites work @@
+Spaces in which sequences suffice
@@ Property / cites work: Spaces in which sequences suffice / rank @@
+Normal rank
@@ Property / cites work @@
+Filter spaces and continuous functionals
@@ Property / cites work: Filter spaces and continuous functionals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3226265
@@ Property / cites work: Q3226265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002474
@@ Property / cites work: Q4002474 / rank @@
+Normal rank
@@ Property / cites work @@
+Topological and limit-space subcategories of countably-based equilogical spaces
+Normal rank
@@ Property / cites work @@
+Computability on random variables
@@ Property / cites work: Computability on random variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531993
@@ Property / cites work: Q4531993 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing probability measures using probabilistic processes
+Normal rank
@@ Property / cites work @@
+Computability on the probability measures on the Borel sets of the unit interval
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3518432
@@ Property / cites work: Q3518432 / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of measurable sets via effective metrics
+Normal rank
@@ Property / cites work @@
+Computability of measurable sets via effective topologies
+Normal rank
@@ Property / cites work @@
+A computable version of the Daniell-Stone theorem on integration and linear functionals
+Normal rank