Publication:4745821
From MaRDI portal
zbMath0508.03030MaRDI QIDQ4745821
Publication date: 1980
Full work available at URL: https://eudml.org/doc/192976
sketch; ultraproducts; Kan extensions; sketchable categories; projective and inductive cones; internal formulas; logic of topoi; realization of a sketch; set-valued realization of a sketch
03G30: Categorical logic, topoi
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Some Results on Locally Finitely Presentable Categories, Elementary classes in the injective subcategories approach to abstract model theory, The logic of structures, Sur les catégories accessibles multicomplètes. (On multicomplete accessible categories), Partial algebras-survey of a unifying approach towards a two-valued model theory for partial algebras, Limits in free coproduct completions, Ultraproducts and possible worlds semantics in institutions, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item