← Back to Problems
Set Theory / Cardinal Characteristics of the ContinuumResearchAI-Generated

Does the equality of the dominating number and omega_1 imply that the almost disjointness number also equals omega_1 in all models of ZFC where the continuum is strictly greater than omega_1?

Related: Cichoń's diagram, Martin's Axiom and its consequences for cardinal characteristics, Shelah's theorem on the relationship between the splitting number and other characteristics

The paper establishes that the dominating number d equaling omega_1 forces the almost disjointness number a to equal omega_1. A natural and unresolved question is whether this implication is part of a deeper structural relationship among small uncountable cardinals, specifically whether d equaling omega_1 can be shown to propagate throughout a wider class of cardinal characteristics simultaneously, or whether there exist forcing extensions where d equals omega_1 and the continuum is large but certain other characteristics such as the independence number or the reaping number remain strictly between omega_1 and the continuum. Understanding the full network of implications among these cardinals when d is minimized is an open problem.

View Source Paper →