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

MaRDI QIDQ1998990FDOQ1998990

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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Homotopical algebra
• Cotorsion pairs and model categories
• Higher Topos Theory (AM-170)
• Relative categories: another model for the homotopy theory of homotopy theories
• Factorization, fibration and torsion
• More concise algebraic topology. Localization, completion, and model categories
• Simplicial localizations of categories
• Replacing model categories with simplicial ones
• Title not available (Why is that?)
• Categorical homotopy theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Three models for the homotopy theory of homotopy theories
• Presheaves as models for homotopy types
• Bousfield localisation and colocalisation of one-dimensional model structures

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)