Commutative regular rings and Boolean-valued fields

DOI10.2307/2274110zbMath0589.03032OpenAlexW2125438740MaRDI QIDQ3717040

Kay Smith

Publication date: 1984

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274110

zbMATH Keywords

algebraic closurecategory equivalenceBoolean-valued setscategory of Boolean-valued fieldscategory of commutative regular rings

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Applications of logic to commutative algebra (13L05) Natural morphisms, dinatural morphisms (18A23) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (9)

Forcing in nonstandard analysis ⋮ Logical quantization of differential geometry ⋮ Logical quantizations of first-order structures ⋮ Quantum set theory: transfer principle and De Morgan's laws ⋮ Boolean transfer from coherent quantum logics to quantum logics with continuous superselection rules ⋮ Boolean valued interpretation of Banach space theory and module structures of von Neumann algebras ⋮ On the duality between Boolean-valued analysis and reduction theory under the assumption of separability ⋮ A Boolean-valued approach to Gleason's theorem ⋮ A compactness property of Dedekind \(\sigma\)-complete \(f\)-rings

Cites Work

• Model theory and algebra. A memorial tribute to Abraham Robinson
• Model-completeness and elimination of quantifiers for subdirect products of structures
• Representation of semi-simple algebraic algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Commutative regular rings and Boolean-valued fields