TY - RPRT TI - The Universal Property of the Henkin Construction: A Categorical Perspective on the Completeness Theorem AU - Joaquim Reizi Barreto PY - 2025 UR - https://arxiv.org/abs/2503.12144 ID - 2503.12144 ER -