Sheaves and normal submodels

DOI10.2307/2272125zbMath0393.03025OpenAlexW2077588311MaRDI QIDQ4175542

Richard Mansfield

Publication date: 1977

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272125

zbMATH Keywords

SheavesGlobal Section SentencesHeyting-Algebra-Valued StructureNormal SubmodelsUniversal Horn- Sentence

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (3)

Rings and sheaves ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Preservation theorems for limits of structures and global sections of sheaves of structures

Cites Work

• Representations by algebras of sections over Boolean spaces
• Sheaves of structures and generalized ultraproducts
• Horn sentences

This page was built for publication: Sheaves and normal submodels