Mass Problems and Measure-Theoretic Regularity (Q3655266): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2178/bsl/1255526079
+Normal rank
@@ Property / OpenAlex ID @@
+W2010890742
@@ Property / OpenAlex ID: W2010890742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040890
@@ Property / cites work: Q4040890 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5528627
@@ Property / cites work: Q5528627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursively enumerable sets of positive integers and their decision problems
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Measure theory and weak König's lemma
@@ Property / cites work: Measure theory and weak König's lemma / rank @@
+Normal rank
@@ Property / cites work @@
+Q3611832
@@ Property / cites work: Q3611832 / rank @@
+Normal rank
@@ Property / cites work @@
+A study of singular points and supports of measures in reverse mathematics
+Normal rank
@@ Property / cites work @@
+Lebesgue Convergence Theorems and Reverse Mathematics
+Normal rank
@@ Property / cites work @@
+Lowness properties and randomness
@@ Property / cites work: Lowness properties and randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Riesz representation theorem, Borel measures and subsystems of second- order arithmetic
+Normal rank
@@ Property / cites work @@
+The definition of random sequences
@@ Property / cites work: The definition of random sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Q3329452
@@ Property / cites work: Q3329452 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Deutung der intuitionistischen Logik
@@ Property / cites work: Zur Deutung der intuitionistischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Low for random reals and positive-measure domination
+Normal rank
@@ Property / cites work @@
+Mass problems and intuitionism
@@ Property / cites work: Mass problems and intuitionism / rank @@
+Normal rank
@@ Property / cites work @@
+Mass problems and almost everywhere domination
@@ Property / cites work: Mass problems and almost everywhere domination / rank @@
+Normal rank
@@ Property / cites work @@
+An extension of the recursively enumerable Turing degrees
+Normal rank
@@ Property / cites work @@
+Algorithmic Randomness and Complexity
@@ Property / cites work: Algorithmic Randomness and Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+A splitting theorem for the Medvedev and Muchnik lattices
+Normal rank
@@ Property / cites work @@
+Almost everywhere domination
@@ Property / cites work: Almost everywhere domination / rank @@
+Normal rank
@@ Property / cites work @@
+Almost everywhere domination and superhighness
@@ Property / cites work: Almost everywhere domination and superhighness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform almost everywhere domination
@@ Property / cites work: Uniform almost everywhere domination / rank @@
+Normal rank
@@ Property / cites work @@
+Vitali's theorem and WWKL
@@ Property / cites work: Vitali's theorem and WWKL / rank @@
+Normal rank
@@ Property / cites work @@
+Embeddings into the Medvedev and Muchnik lattices of \(\Pi^0_1\) classes
+Normal rank
@@ Property / cites work @@
+On a conjecture of Dobrinen and Simpson concerning almost everywhere domination
+Normal rank
@@ Property / cites work @@
+Computable structures and the hyperarithmetical hierarchy
+Normal rank