TY - RPRT TI - Rigidification of algebras over essentially algebraic theories AU - J. Rosicky PY - 2013 UR - https://arxiv.org/abs/1206.0422 ID - 1206.0422 ER -