Exercices de style: a homotopy theory for set theory

DOI10.1007/S11856-015-1211-7MaRDI QIDQ891147zbMATH OpenOpenAlexFDO

Authors Assaf Hasson, Misha Gavrilovich

Publication date 16 November 2015

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1102.5562

zbMATH Keywords

set theoryhomotopical algebraposetal model category

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Chain complexes (category-theoretic aspects), dg categories (18G35) Ordered sets and their cofinalities; pcf theory (03E04)

Abstract: 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. In a subsequent paper cite{GaHa1} we give a homotopy theoretic dictionary of set theoretic concepts, most notably Shelah's covering number $cov(lambda,alep{h}_1,alep{h}_1,2)$, recovered from this model category. 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.

Recommendations

• Model theory in additive categories
• scientific article; zbMATH DE number 5347933
• On a possible application of the homotopy concept to model theory
• Fraïssé's construction from a topos-theoretic perspective
• Sheafifiable homotopy model categories
• A Course on Basic Model Theory
• scientific article; zbMATH DE number 165318
• scientific article; zbMATH DE number 1007358
• Model theory vs. categorical logic: two approaches to pretopos completion (a.k.a. \(T^{\mathrm{eq}}\))
• scientific article; zbMATH DE number 1829804

Cites work

• scientific article; zbMATH DE number 1687034 (Why is no real title available?)
• scientific article; zbMATH DE number 2128361 (Why is no real title available?)
• scientific article; zbMATH DE number 596354 (Why is no real title available?)
• scientific article; zbMATH DE number 734993 (Why is no real title available?)
• scientific article; zbMATH DE number 1062123 (Why is no real title available?)
• scientific article; zbMATH DE number 3247160 (Why is no real title available?)
• A remark on transitivity of Galois action on the set of uniquely divisible abelian extensions in \(\text{Ext}^1(E(\overline {\mathbb {Q}}),\Lambda)\)
• COVERS OF THE MULTIPLICATIVE GROUP OF AN ALGEBRAICALLY CLOSED FIELD OF CHARACTERISTIC ZERO
• Cardinal Arithmetic
• Cardinal arithmetic for skeptics
• Categoricity
• Covers of multiplicative groups of algebraically closed fields of arbitrary characteristic
• Exercices de style: a homotopy theory for set theory
• Homotopical algebra
• Kummer theory on extensions of Abelian varieties by tori
• Periods of 1-motives and transcendence.
• Singular Cardinals

Cited in

(3)

• Exercices de style: a homotopy theory for set theory
• Homotopical algebra is not concrete
• On a possible application of the homotopy concept to model theory

This page was built for publication: Exercices de style: a homotopy theory for set theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q891147)