Model-completeness of a theory and evaluation of formulas

DOI10.1007/BF01980216zbMath0733.03025MaRDI QIDQ810003

Vassily Lyubetsky

Publication date: 1990

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

Stone spacealgebraic systemsmodel-companionmodel-complete theoriesBoolean extensionscomplete disconnected compactumHeyting-valued analysisnoncommutative biregular ringssections of a sheaf over a Boolean space

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Axiomatic model classes (08C10) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Cites Work

• Model-completeness for sheaves of structures

This page was built for publication: Model-completeness of a theory and evaluation of formulas