Filtered colimit elimination from Birkhoff's variety theorem

DOI10.1016/j.jpaa.2024.107794MaRDI QIDQ6671712

Yuto Kawase

Publication date: 27 January 2025

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

Birkhoff's variety theoremHSP theoremfiltered colimitpure quotientpartial Horn theory

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Partial Horn logic and Cartesian categories
• Molecular toposes
• Varieties of ordered algebras
• Regular and exact completions
• Birkhoff's variety theorem in many sorts
• On Pure Quotients and Pure Subobjects

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 Q6671712)