A correspondence between commutative rings and Jordan loops

DOI10.1007/S10469-020-09569-WzbMath1454.20122OpenAlexW3009463087WikidataQ114691254 ScholiaQ114691254MaRDI QIDQ784468

V. I. Ursu

Publication date: 3 August 2020

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

Full work available at URL: https://doi.org/10.1007/s10469-020-09569-w

zbMATH Keywords

commutative ring with unityfinitely axiomatizable classmetabelian commutative looprecursively inseparable setsundecidability of elementary theory

Mathematics Subject Classification ID

Loops, quasigroups (20N05) Applications of logic to commutative algebra (13L05)

Cites Work

• An equational theory for a nilpotent \(A\)-loop.
• Loops whose inner mappings are automorphisms
• Recursive inseparability of the sets of identically valid and finitely refutable formulas of some elementary theories of varieties
• Undecidable theories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A correspondence between commutative rings and Jordan loops