A cardinal invariant related to homogeneous families
Abstract
Let "ex" be the cardinality of the smallest independent family of subsets of omega (independent means that all nontrivial Boolean combinations are infinite) which cannot be extended to a homogeneous independent family. "Homogeneous" means that every finite partial map (points to points, sets to sets) that is compatible with the family is induced by a permutation of omega. Despite its apparently ``complex'' (second order) definition, this cardinal is equal to a well-known ``simple'' cardinal invariant from Cichon's diagram.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.