Sheaves and prime model extensions

DOI10.1016/0021-8693(81)90286-6MaRDI QIDQ1154460zbMATH OpenOpenAlexFDO

Authors Marta 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

differential 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-ringglobal sectionsmodel completeness of two theories of differential regular ringsprime model extension propertystalks

Mathematics Subject Classification ID

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

Cites work

• Artin-Schreier theory for commutative regular rings
• Boolean spectra and model completions
• Commutative Regular Rings with Integral Closure
• Commutative Regular Rings without Prime Model Extensions
• Completeness results for intuitionistic and modal logic in a categorical setting
• scientific article; zbMATH DE number 3498058 (Why is no real title available?)
• scientific article; zbMATH DE number 3531305 (Why is no real title available?)
• scientific article; zbMATH DE number 3554470 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3415973 (Why is no real title available?)
• scientific article; zbMATH DE number 3085223 (Why is no real title available?)
• Integral domain type representations in sheaves and other topoi
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Modules over commutative regular rings
• Prime model extensions for differential fields of characteristic p ≠ 0
• Representation of semi-simple algebraic algebras
• Representations of algebras by continuous sections
• Rings, fields, and spectra
• The Gleason cover of a topos. II
• The model theory of differential fields revisited
• The real closure of a commutative regular f-ring

Cited in

(5)

• scientific article; zbMATH DE number 3865454 (Why is no real title available?)
• scientific article; zbMATH DE number 3715790 (Why is no real title available?)
• On the transfer of an abstract nullstellensatz
• Positive definite functions over regular f-rings and representations as sums of squares
• Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem

This page was built for publication: Sheaves and prime model extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1154460)