κ-Madness and Definability.

2018/05/18 by Haim Horowitz, Saharon Shelah, Horowitz, Haim +1
Mathematics · Computer Science · #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms #Mathematical and Theoretical Analysis

paper · pdf · doi:10.48550/arxiv.1805.07048

Abstract

Assuming the existence of a supercompact cardinal, we construct a model\nwhere, for some uncountable regular cardinal \κ, there are no\n\Σ¹₁(\κ)-\κ-mad families.\n

Related

• On the non-existence of κ-mad families
• Madness and regularity properties
• Strong Tree Properties for Small Cardinals
• On two problems of Erdos and Hechler: New methods in singular Madness
• The first measurable can be the first inaccessible cardinal