Extending to a model structure is not a first-order property

MaRDI QIDQ1998990zbMATH OpenFDO

Authors Jean-Marie Droz, Inna Zakharevich

Publication date 10 March 2021

Published in The New York Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.6127, http://nyjm.albany.edu/j/2021/27-11.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

category theoryfirst-order logicmodel theoryhomotopy theoryposetQuillen's model category

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Classical first-order logic (03B10) Basic properties of first-order languages and structures (03C07) Abstract and axiomatic homotopy theory in algebraic topology (55U35) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• Beyond first order model theory
• On ultrafilter extensions of first-order models and ultrafilter interpretations
• The property of being a model complete theory is preserved by Cartesian extensions
• scientific article; zbMATH DE number 3841826
• Classifying model-theoretic properties
• On End‐Extensions of Models of ¬exp
• Loosely guarded fragment of first-order logic has the finite model property
• scientific article; zbMATH DE number 1301853
• On two concepts of ultrafilter extensions of first-order models and their generalizations
• scientific article; zbMATH DE number 175645

Cites work

• scientific article; zbMATH DE number 2132154 (Why is no real title available?)
• scientific article; zbMATH DE number 4159633 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 3022976 (Why is no real title available?)
• Bousfield localisation and colocalisation of one-dimensional model structures
• Categorical homotopy theory
• Cotorsion pairs and model categories
• Factorization, fibration and torsion
• Higher Topos Theory (AM-170)
• Homotopical algebra
• More concise algebraic topology. Localization, completion, and model categories
• Presheaves as models for homotopy types
• Relative categories: another model for the homotopy theory of homotopy theories
• Replacing model categories with simplicial ones
• Simplicial localizations of categories
• Three models for the homotopy theory of homotopy theories

Cited in

(3)

• Extending to a model structure is not a first-order property
• Model structures on finite total orders
• On colimits and model structures in various categories of manifolds

This page was built for publication: Extending to a model structure is not a first-order property

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