Exercices de style: a homotopy theory for set theory

DOI10.1007/S11856-015-1211-7zbMATH Open1375.18074arXiv1102.5562OpenAlexW2964213370MaRDI QIDQ891147FDOQ891147

Authors: Assaf Hasson, Misha Gavrilovich 

Publication date: 16 November 2015

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

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.

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

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

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)

Cites Work

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

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)