TY - JOUR

T1 - Exercices de style

T2 - A homotopy theory for set theory

AU - Gavrilovich, Misha

AU - Hasson, Assaf

N1 - Publisher Copyright:
© 2015, Hebrew University of Jerusalem.

PY - 2015/9/1

Y1 - 2015/9/1

N2 - We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and infinite equi-cardinality. We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic existing methods, and so is (almost all) the verification that the construction works. We use the posetal model category to introduce homotopy-theoretic intuitions to set theory. Our main observation is that the homotopy invariant version of cardinality is the covering number of Shelah’s PCF theory, and that other combinatorial objects, such as Shelah’s revised power function—the cardinal function featuring in Shelah’s revised GCH theorem—can be obtained using similar tools. We include a small “dictionary” for set theory in QtNaamen, hoping it will help in finding more meaningful homotopy-theoretic intuitions in set theory.

AB - We construct a model category (in the sense of Quillen) for set theory, starting from two arbitrary, but natural, conventions. It is the simplest category satisfying our conventions and modelling the notions of finiteness, countability and infinite equi-cardinality. We argue that from the homotopy theoretic point of view our construction is essentially automatic following basic existing methods, and so is (almost all) the verification that the construction works. We use the posetal model category to introduce homotopy-theoretic intuitions to set theory. Our main observation is that the homotopy invariant version of cardinality is the covering number of Shelah’s PCF theory, and that other combinatorial objects, such as Shelah’s revised power function—the cardinal function featuring in Shelah’s revised GCH theorem—can be obtained using similar tools. We include a small “dictionary” for set theory in QtNaamen, hoping it will help in finding more meaningful homotopy-theoretic intuitions in set theory.

UR - http://www.scopus.com/inward/record.url?scp=84945933361&partnerID=8YFLogxK

U2 - 10.1007/s11856-015-1211-7

DO - 10.1007/s11856-015-1211-7

M3 - Article

AN - SCOPUS:84945933361

SN - 0021-2172

VL - 209

SP - 15

EP - 83

JO - Israel Journal of Mathematics

JF - Israel Journal of Mathematics

IS - 1

ER -