Filtered colimit elimination from Birkhoff's variety theorem

MaRDI QIDQ6450641zbMATH OpenFDO

Authors Yuto Kawase

Publication date 11 September 2023

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Accessible and locally presentable categories (18C35) Definable subcategories and connections with model theory (18E45)

This page was built for publication: Filtered colimit elimination from Birkhoff's variety theorem

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