{"id":"arxiv/2607.21115","url":"https://arxiv.org/abs/2607.21115","tags":["math.LO","math.CT"],"score":0,"title":"The doctrinal Gödel's completeness theorem and the type space functor","domain":"math.LO","source":"arxiv","authors":["Marco Abbadini","Francesca Guffanti"],"reviews":0,"subject":"math.LO","summary":"We give a self-contained proof of Gödel's completeness theorem entirely within the formalism of first-order Boolean doctrines (an algebraic approach to classical many-sorted first-order logic). Moreover, we show that Gödel's completeness theorem entails that the fiberwise Stone dual of a first-order Boolean doctrine is its type space functor; roughly speaking, this means that the Stone dual of the Boolean algebra of formulas in context $X$ is the Stone space of $X$-pointed models modulo elementary equivalence.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-23","reactions":{}}