scientific article; zbMATH DE number 3614984

zbMath0396.18002MaRDI QIDQ4179158

Gonzalo E. Reyes

Publication date: 1977

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1977__18_2_105_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

SheavesModel TheoryConceptsCoherent Geometric MorphismCoherent LogicGrothendieck TopoiSite

Mathematics Subject Classification ID

Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Models of other mathematical theories (03C65) Grothendieck topologies and Grothendieck topoi (18F10) Foundations, relations to logic and deductive systems (18A15)

Related Items (1)

On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular

Cites Work

• Model theory.
• Toposes without points
• Universal projective geometry via topos theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Theory of models with generalized atomic formulas
• Boolean-valued equivalence relations and complete extensions of complete boolean algebras
• Infinitary logic and admissible sets
• The completeness theorem for infinitary logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: