Commutative regular rings and Boolean-valued fields
From MaRDI portal
Publication:3717040
DOI10.2307/2274110zbMath0589.03032OpenAlexW2125438740MaRDI QIDQ3717040
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
algebraic closurecategory equivalenceBoolean-valued setscategory of Boolean-valued fieldscategory of commutative regular rings
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
This page was built for publication: Commutative regular rings and Boolean-valued fields