The first omega alephs: from simplices to trees of trees to higher walks
Jeffrey Bergfalk

TL;DR
This paper provides new proofs and clarifications of the cohomological dimensions of certain ordinals, introducing higher-dimensional combinatorial structures like simplices, trees, and walks within ZFC set theory.
Contribution
It introduces novel higher-dimensional combinatorial characterizations of ordinals and generalizes existing techniques such as Todorcevic's walks within a ZFC framework.
Findings
New proof and mild strengthening of Mitchell's theorem on cohomological dimension.
Descriptions of higher-dimensional structures like simplices and trees for ordinals.
Development of a simple, finitely iterable technique for higher-dimensional combinatorics.
Abstract
The point of departure for the present work is Barry Mitchell's 1972 theorem that the cohomological dimension of is . We record a new proof and mild strengthening of this theorem; our more fundamental aim, though, is some clarification of the higher-dimensional infinitary combinatorics lying at its core. In the course of this work, we describe simplicial characterizations of the ordinals , higher-dimensional generalizations of coherent Aronszajn trees, bases for critical inverse systems over large index sets, nontrivial -coherent families of functions, and higher-dimensional generalizations of portions of Todorcevic's walks technique. These constructions and arguments are undertaken entirely within a framework; at their heart is a simple, finitely iterable technique of compounding -sequences.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
