Filtered colimit elimination from Birkhoff's variety theorem
From MaRDI portal
Publication:6450641
arXiv2309.05304MaRDI QIDQ6450641FDOQ6450641
Authors: Yuto Kawase 
Publication date: 11 September 2023
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)
