Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem (Q6094124): Difference between revisions

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