Sheaves of structures and generalized ultraproducts
From MaRDI portal
Publication:4047545
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)