TY - RPRT TI - Filtered colimit elimination from Birkhoff's variety theorem AU - Yuto Kawase PY - 2025 DO - 10.1016/j.jpaa.2024.107794 UR - https://arxiv.org/abs/2309.05304 ID - 2309.05304 ER -