Boolean spectra and model completions

DOI10.4064/FM-113-3-165-173zbMath0481.03021OpenAlexW1149956141MaRDI QIDQ3937377

Gonzalo E. Reyes, Marta C. Bunge

Publication date: 1981

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211274

zbMATH Keywords

representation theoryregular ringsregular f-ringsmodel completeness for sheaves of first-order structuresquotient theory over Boolean spacessheaves of models

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (3)

Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Sheaves and prime model extensions ⋮ Positive definite functions over regular f-rings and representations as sums of squares

This page was built for publication: Boolean spectra and model completions