Finitary sketches

DOI10.2307/2275568MaRDI QIDQ4372902zbMATH OpenOpenAlexFDO

Authors Jiří Adámek, Jiří Rosický, Peter Johnstone, Johann A. Makowsky

Publication date 5 April 1998

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275568

zbMATH Keywords

sketchmeasurable cardinalgeometric sketchfinitely accessible categorysketchable categoryfinitary sketch

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Foundations, relations to logic and deductive systems (18A15)

Recommendations

• Finite models of sketches
• Finitary sketches and finitely accessible categories
• On geometric and finitary sketches
• On the Limitations of Sketches

Cites work

• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• Aspects of topoi
• Finitary sketches and finitely accessible categories
• On geometric and finitary sketches

Cited in

(8)

• scientific article; zbMATH DE number 1231576 (Why is no real title available?)
• The strength of Mac Lane set theory
• Formal model theory and higher topology
• scientific article; zbMATH DE number 7760192 (Why is no real title available?)
• On geometric and finitary sketches
• Reflection into models of finite decidable FP-sketches in an arithmetic universe
• Finitary sketches and finitely accessible categories
• Finite models of sketches

This page was built for publication: Finitary sketches

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