Volger, Hugo Completeness theorem for logical categories. (English) Zbl 0338.18001 Model Theor. Topoi, Collect. Lect. var. Auth., Lect. Notes Math. 445, 51-86 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 4 Documents 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 PDFBibTeX XML