Sheaves of structures and generalized ultraproducts

DOI10.1016/0003-4843(74)90014-XMaRDI QIDQ4047545zbMATH OpenOpenAlexFDO

Authors David P. Ellerman

Publication date 1974

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(74)90014-x

Mathematics Subject Classification ID

Consistency and independence results (03E35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Connections of general topology with other structures, applications (54H99) Other classical first-order model theory (03C68) Applications of logic to commutative algebra (13L05)

Cited in

(15)

• Quadratic form theory over preordered von Neumann-regular rings
• A remark on the prime stalk theorem
• Some Results on Locally Finitely Presentable Categories
• Ultrasheaves and double negation
• Rings and sheaves
• Triples and compact sheaf representation
• On some sheaves of special groups
• Ultrapowers as sheaves on a category of ultrafilters
• Saturated models of intuitionistic theories
• Some applications of double-negation sheafification
• Sheaves of Metric Structures
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Sheaves and normal submodels
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem
• Self-injective regular algebras and function rings

This page was built for publication: Sheaves of structures and generalized ultraproducts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4047545)