Follow
A Natural Transformation between the Model Constructions of the Completeness and Compactness Theorems, Enhanced by Rigidity and 2-Categorical Strengthening https://arxiv.org/abs/2503.16555 #mathLO #mathCT #csLO
A Natural Transformation between the Model Constructions of the Completeness and Compactness Theorems, Enhanced by Rigidity and 2-Categorical Strengthening https://arxiv.org/abs/2503.16555 #mathLO #mathCT #csLO