Measure-Theoretic Uniformity in Recursion Theory and Set Theory
From MaRDI portal
Publication:5609369
DOI10.2307/1995364zbMath0209.01603OpenAlexW4253727053MaRDI QIDQ5609369
Publication date: 1969
Full work available at URL: https://doi.org/10.2307/1995364
Related Items
Measure-theoretic uniformity, Measure theory and higher order arithmetic, Measurable Parametrizations and Selections, LUZIN’S (N) AND RANDOMNESS REFLECTION, Ergodic Undefinability in Set Theory and Recursion Theory, SOME CONSEQUENCES OF AND, Classes of Polish spaces under effective Borel isomorphism, Inductive definability: Measure and category, Higher Kurtz randomness, Lowness of higher randomness notions, The weakness of the pigeonhole principle under hyperarithmetical reductions, Some measure theoretic results in effective descriptive set theory, Некоторые замечания о нестандартных методах анализа. I, Теорема Гордона: истоки и смысл, Sequential order topologies, Measure-theoretic applications of higher Demuth’s Theorem, Minimal Covers and Hyperdegrees, Lusin Sets and Well Ordering the Continuum, Measure-theoretic uniformity and the Suslin functional, Metarecursively enumerable sets and admissible ordinals
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Arithmetical Predicates and Function Quantifiers
- Hierarchies of number-theoretic predicates
- Recursive well-orderings
- On the Forms of the Predicates in the Theory of Constructive Ordinals (Second Paper)
- Measure-theoretic construction of incomparable hyperdegrees
- On a problem of Kleene’s
- Hyperarithmetical quantifiers
- Truth in all of certain well‐founded countable models arising in set theory
- Some applications of the notions of forcing and generic sets
- Degrees of Unsolvability. (AM-55)
- Metarecursive sets
- Measure-theoretic uniformity
- Some results in the effective descriptive set theory
- Incompleteness along paths in progressions of theories
- Consistency-Proof for the Generalized Continuum-Hypothesis
