Positive definite functions over regular f-rings and representations as sums of squares

DOI10.1016/0168-0072(89)90033-XzbMath0689.18003OpenAlexW2095198019MaRDI QIDQ581656

W. A. MacCaull

Publication date: 1989

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(89)90033-x

zbMATH Keywords

positive definite functionsinfinitary logicStone spacesheaf of ringsArtin-Schreier theoremformally intuitionistic logicglobal sections functorintuitionistic logic of sheaf toposesPierce spectrumregular f-ringsring of global sectionssheaf representations

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)

Related Items (1)

Hilbert's Nullstellensatz revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hilbert's Nullstellensatz revisited
• Sheaves and prime model extensions
• Model theory and algebra. A memorial tribute to Abraham Robinson
• Completeness results for intuitionistic and modal logic in a categorical setting
• On the validity of hilbert's nullstellensatz, artin's theorem, and related results in grothendieck toposes
• Boolean spectra and model completions
• On the transfer of an abstract nullstellensatz
• Model-completeness for sheaves of structures
• Artin-Schreier theory for commutative regular rings
• Sheaves and Boolean valued model theory
• Modules over commutative regular rings
• The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements

This page was built for publication: Positive definite functions over regular f-rings and representations as sums of squares