TY  - RPRT
TI  - A Natural Homomorphism between the Model Constructions of the Completeness and Compactness Theorems
AU  - Barreto Joaquim Reizi
PY  - 2025
UR  - https://arxiv.org/abs/2503.16555
ID  - 2503.16555
ER  -