Boolean spectra and model completions
From MaRDI portal
Publication:3937377
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
representation theoryregular ringsregular f-ringsmodel completeness for sheaves of first-order structuresquotient theory over Boolean spacessheaves of models
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