Sheaves of structures and generalized ultraproducts
DOI10.1016/0003-4843(74)90014-XzbMATH Open0295.02031OpenAlexW1971195030MaRDI QIDQ4047545FDOQ4047545
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
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)