Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

DOI10.1002/malq.202000088zbMath1521.03256arXiv2012.04317OpenAlexW3215171565MaRDI QIDQ6094124

Unnamed Author

Publication date: 12 September 2023

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2012.04317

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (2)

Boolean valued models, Boolean valuations, and Löwenheim-Skolem theorems ⋮ Limits, colimits, and spectra of modelled spaces

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability. An introduction to its categorical side
• Classifying topoi and finite forcing
• Topological powers and reduced powers
• Sheaves and prime model extensions
• Sheaves on sites as Cauchy-complete categories
• Constructivism in mathematics. An introduction. Volume I
• Sheaves in geometry and logic: a first introduction to topos theory
• Model theory and algebra. A memorial tribute to Abraham Robinson
• Model-completeness and elimination of quantifiers for subdirect products of structures
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Preservation theorems for limits of structures and global sections of sheaves of structures
• A remark on the prime stalk theorem
• Applications of sheaves. Proceedings of the research symposium on applications of sheaf theory to logic, algebra and analysis, Durham, July 9--21, 1977
• The model completion of the theory of commutative regular rings
• On transferring model theoretic theorems of \(\mathcal L_{\infty,\omega}\) in the category of sets to a fixed Grothendieck topos
• The Skolem-Löwenheim theorem in toposes
• Theories, Sites, Toposes
• Frames and Locales
• Sheaves of Algebras over Boolean Spaces
• The first order properties of products of algebraic systems
• Injectivity in the Topos of Complete Heyting Algebra Valued Sets
• A Non‐Boolean Version of Feferman‐Vaught's Theorem
• Eastern Model‐Theory for Boolean‐Valued Theories
• On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes
• Tripos theory
• Isomorphism of structures in S-toposes
• Boolean spectra and model completions
• On the transfer of an abstract nullstellensatz
• Sheaves of structures and generalized ultraproducts
• Model-completeness for sheaves of structures
• Complete and model-complete theories of monadic algebras
• The Feferman-Vaught theorem revisited
• Some applications of double-negation sheafification
• On Generic Stalks of Sheaves
• Artin-Schreier theory for commutative regular rings
• Sheaves and normal submodels
• Sheaf Constructions and Their Elementary Properties
• Sheaves and Boolean valued model theory
• An Omitting Types Theorem for Sheaves over Topological Spaces
• Modules over commutative regular rings
• The theory of Boolean ultrapowers
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements
• Logic and structure

This page was built for publication: Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem