{"title":"Dimensions of Ordinals: Set Theory, Homology Theory, and the First Omega Alephs","authors":"J. Bergfalk","doi":"10.1017/bsl.2021.36","DOIUrl":null,"url":null,"abstract":"Abstract We describe an organizing framework for the study of infinitary combinatorics. This framework is Čech cohomology. It describes ZFC principles distinguishing among the ordinals of the form \n$\\omega _n$\n . More precisely, this framework correlates each \n$\\omega _n$\n with an \n$(n+1)$\n -dimensional generalization of Todorcevic’s walks technique, and begins to account for that technique’s “unreasonable effectiveness” on \n$\\omega _1$\n . We show in contrast that on higher cardinals \n$\\kappa $\n , the existence of these principles is frequently independent of the ZFC axioms. Finally, we detail implications of these phenomena for the computation of strong homology groups and higher derived limits, deriving independence results in algebraic topology and homological algebra, respectively, in the process. Abstract prepared by Jeffrey Bergfalk. E-mail: jeffrey.bergfalk@univie.ac.at","PeriodicalId":22265,"journal":{"name":"The Bulletin of Symbolic Logic","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2021-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"The Bulletin of Symbolic Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/bsl.2021.36","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3
Abstract
Abstract We describe an organizing framework for the study of infinitary combinatorics. This framework is Čech cohomology. It describes ZFC principles distinguishing among the ordinals of the form
$\omega _n$
. More precisely, this framework correlates each
$\omega _n$
with an
$(n+1)$
-dimensional generalization of Todorcevic’s walks technique, and begins to account for that technique’s “unreasonable effectiveness” on
$\omega _1$
. We show in contrast that on higher cardinals
$\kappa $
, the existence of these principles is frequently independent of the ZFC axioms. Finally, we detail implications of these phenomena for the computation of strong homology groups and higher derived limits, deriving independence results in algebraic topology and homological algebra, respectively, in the process. Abstract prepared by Jeffrey Bergfalk. E-mail: jeffrey.bergfalk@univie.ac.at