Théorie des modeles et faisceaux

DOI10.1016/0001-8708(78)90035-XzbMath0409.03040OpenAlexW1996099995MaRDI QIDQ1258739

Gonzalo E. Reyes

Publication date: 1978

Published in: Advances in Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0001-8708(78)90035-x

zbMATH Keywords

ForcingKripke SemanticsFragment of First Order (Intuitionistic) LogicGrothendieck ToposesProjective Module of Finite Type over a Local RingVector Bundles on Compact Spaces

Mathematics Subject Classification ID

Sphere bundles and vector bundles in algebraic topology (55R25) Categorical logic, topoi (03G30) Topoi (18B25) Projectives and injectives (category-theoretic aspects) (18G05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Model-theoretic forcing (03C25)

Related Items (7)

De Rham's theorem in a smooth topos ⋮ Anneaux p-adiquement clos et anneaux de fonctions définissables ⋮ Unnamed Item ⋮ Modules in the category of sheaves over quantales ⋮ Topos Theory in Montréal in the 1970s: My Personal Involvement ⋮ Unnamed Item ⋮ Smooth spaces versus continuous spaces in models for synthetic differential geometry

Cites Work

• Unnamed Item
• Universal projective geometry via topos theory
• Completeness results for intuitionistic and modal logic in a categorical setting
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV

This page was built for publication: Théorie des modeles et faisceaux