Veit Riccioli, Barbara Il forcing come principio logico per la costruzione dei fasci. I. (English) Zbl 0431.03024 Rend. Mat., VI. Ser. 11, 329-353 (1978). En se servant des objets d’un site \( C \) comme ensemble de conditions, on definit une notion de ”forcing” pour les formules d’un langage multisorte L. Ceci fournit une interprétation de \( I \) dans le topos associé à \( C \) qui vérifie les clauses inductives de la sémantique de Kripke-Joyal. On reussit ainsi, en utilisant des techniques essentiellement logiques, à établir quelques théorèmes fondamentaux de la théorie des topos de Grothendieck, notamment le fait que tout topos de Grothendieck forme un topos élémentaire au sens de Lawvere-Tierney et le theorème du faisceau associé. This review text is based on a scanned copy of the printed version. It was converted to LaTeX using MathPix and a specifically developed LLM to assign the text parts to the metadata. It may contain errors, misassignments, or gaps; in particular, the reviewer signature has not yet been extracted reliably in general. If you notice any errors, please report them directly to our editorial team via the Contact Form. Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 1 Document MSC: 03C90 Nonclassical models (Boolean-valued, sheaf, etc.) 18B25 Topoi 03C25 Model-theoretic forcing 03G30 Categorical logic, topoi Keywords:many-sorted logic; inductive clauses; Kripke-Joyal semantics; sheaves × Cite Format Result Cite Review PDF