Finitary sketches

DOI10.2307/2275568MaRDI QIDQ4372902zbMATHOpenAlexFDO

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)

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

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)