TY  - RPRT
TI  - A 2-Categorical Bridge Between Henkin Constructions and Lawvere's Fixed-Point Theorem: Unifying Completeness and Compactness
AU  - Barreto Joaquim Reizi
PY  - 2025
UR  - https://arxiv.org/abs/2504.03797
ID  - 2504.03797
ER  -