We find a possible interpretation of Henkin's Theorem in the language of existential implicational doctrines. Under some smallness assumption, starting from an implicational existential doctrine, with non-trivial fibers, we construct a new doctrine which is rich -- meaning that for every formula *\varphi(x)* there is a constant *c* such that... Show more

July 16, 2024

Loading full text...

Similar articles

Loading recommendations...

x1

Rich doctrines and Henkin's Theorem

Click on play to start listening