Follow
A 2-Categorical Bridge Between Henkin Constructions and Lawvere's Fixed-Point Theorem: Unifying Completeness and Compactness https://arxiv.org/abs/2504.03797 #mathLO #mathCT
A 2-Categorical Bridge Between Henkin Constructions and Lawvere's Fixed-Point Theorem: Unifying Completeness and Compactness https://arxiv.org/abs/2504.03797 #mathLO #mathCT