Measure-theoretic Uniformity and the Suslin Functional
classification
🧮 math.LO
keywords
functionalmeasure-theoreticsetssuslinuniformityalternativelybasiscomputability
read the original abstract
We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for $\Pi^1_1$-sets of positive measure to computability and semicomputability relative to the Suslin functional, alternatively to the (equivalent) Hyperjump.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.