Guitart, R.; Lair, C. Calcul syntaxique des modeles et calcul des formules internes. (French) Zbl 0508.03030 Diagrammes 4, 106 p. (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 23 Documents MSC: 03G30 Categorical logic, topoi Keywords:sketch; projective and inductive cones; realization of a sketch; sketchable categories; set-valued realization of a sketch; ultraproducts; internal formulas; Kan extensions; logic of topoi Citations:Zbl 0421.03050; Zbl 0466.51008 PDFBibTeX XML Full Text: EuDML