Madness and regularity properties

2017/04/26 by Haim Horowitz, Saharon Shelah, Horowitz, Haim +1
Computer Science · Mathematics · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1704.08327

openalex publication_date 2017/04/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Starting from an inaccessible cardinal, we construct a model of ZF+DC where there exists a mad family and all sets of reals are \mathbb Q-measurable for ω^ω-bounding sufficiently absolute forcing notions \mathbb Q.

Related

• κ-Madness and Definability.
• Regularity Properties on the Generalized Reals
• On the non-existence of κ-mad families
• Mad families and non-meager filters
• Madness and (weak) normality