Sheaves and prime model extensions

DOI10.1016/0021-8693(81)90286-6zbMath0465.03016OpenAlexW2009850798MaRDI QIDQ1154460

Marta C. Bunge

Publication date: 1981

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(81)90286-6

zbMATH Keywords

global sectionsstalksdifferential analogue of the Pierce representation theoryexistence of the real closure of an ordered field in any topos of sheaves on a Boolean spaceexistence of the real closure of any commutative regular f-ringmodel completeness of two theories of differential regular ringsprime model extension property

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Applications of logic to commutative algebra (13L05) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Modules of differentials (13N05) Other model constructions (03C30)

Related Items

Unnamed Item ⋮ Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Unnamed Item ⋮ Positive definite functions over regular f-rings and representations as sums of squares ⋮ On the transfer of an abstract nullstellensatz

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The Gleason cover of a topos. II
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Integral domain type representations in sheaves and other topoi
• The model theory of differential fields revisited
• Rings, fields, and spectra
• Completeness results for intuitionistic and modal logic in a categorical setting
• Representation of semi-simple algebraic algebras
• Boolean spectra and model completions
• Commutative Regular Rings without Prime Model Extensions
• Prime model extensions for differential fields of characteristic p ≠ 0
• Commutative Regular Rings with Integral Closure
• The real closure of a commutative regular f-ring
• Artin-Schreier theory for commutative regular rings
• Modules over commutative regular rings
• Representations of algebras by continuous sections