Publication:3931367
From MaRDI portal
zbMath0475.03011MaRDI QIDQ3931367
Publication date: 1981
simple rings; Boolean product; biregular rings; totally ordered rings; *-regular L-ring; f-projectable rings
03C60: Model-theoretic algebra
03C90: Nonclassical models (Boolean-valued, sheaf, etc.)
03C10: Quantifier elimination, model completeness, and related topics