×

Completeness theorem for logical categories. (English) Zbl 0338.18001

Model Theor. Topoi, Collect. Lect. var. Auth., Lect. Notes Math. 445, 51-86 (1975).

MSC:

18A15 Foundations, relations to logic and deductive systems
18A35 Categories admitting limits (complete categories), functors preserving limits, completions
18B99 Special categories
03C99 Model theory
03C35 Categoricity and completeness of theories