Measure-theoretic Uniformity and the Suslin Functional

2018/10/17 by Dag Normann, Normann, Dag
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Rings, Modules, and Algebras

paper · pdf · doi:10.48550/arxiv.1810.07543

openalex publication_date 2018/10/17 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We generalise results by Sacks and Tanaka concerning measure-theoretic uniformity for hyperarithmetical sets and a basis theorem for Π¹₁-sets of positive measure to computability and semicomputability relative to the Suslin functional, alternatively to the (equivalent) Hyperjump.

Related

• Comparing the uniformity invariants of null sets for different measures
• Uniform measures and countably additive measures
• Uniform sets for infinite measure-preserving systems
• Combinatorial and model-theoretical principles related to regularity of ultrafilters and compactness of topological spaces. II
• The global Σ¹_n+1-Uniformization Property and BPFA