Sheaves of structures and generalized ultraproducts
From MaRDI portal
Publication:4047545
DOI10.1016/0003-4843(74)90014-XzbMath0295.02031OpenAlexW1971195030MaRDI QIDQ4047545
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
Consistency and independence results (03E35) Applications of logic to commutative algebra (13L05) 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)
Related Items
Saturated models of intuitionistic theories, Some Results on Locally Finitely Presentable Categories, Rings and sheaves, On some sheaves of special groups, Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem, Triples and compact sheaf representation, Self-injective regular algebras and function rings, Quadratic form theory over preordered von Neumann-regular rings, Ultrapowers as sheaves on a category of ultrafilters, Ultrasheaves and double negation, Some applications of double-negation sheafification, Preservation theorems for limits of structures and global sections of sheaves of structures, Sheaves and normal submodels, A remark on the prime stalk theorem, Sheaves of Metric Structures