@misc{indiciaecbc07399b5c6,
  title = {A 2-Categorical Bridge Between Henkin Constructions and Lawvere's Fixed-Point Theorem: Unifying Completeness and Compactness},
  author = {Barreto Joaquim Reizi},
  year = {2025},
  url = {https://arxiv.org/abs/2504.03797},
  note = {Source identifier: 2504.03797}
}