Publication:3043147
From MaRDI portal
zbMath0527.03042MaRDI QIDQ3043147
Publication date: 1981
covering; category of sheaves; category of models; associated coherent topos; finitary theories; functors with the finite support property; generic p-model; prime completion; prime generated topos; regular site; syntactic description
Related Items
Ultrasheaves and double negation, The number of uncountable models of \(\omega\)-stable theories, An application of open maps to categorical logic, Conceptual completeness for first-order intuitionistic logic: An application of categorical logic, Completeness results for intuitionistic and modal logic in a categorical setting