First-order rigidity of rings satisfying polynomial identities

DOI10.1016/j.apal.2022.103109zbMath1497.16022OpenAlexW4214866064MaRDI QIDQ2131282

Be'eri Greenfeld

Publication date: 25 April 2022

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2022.103109

zbMATH Keywords

Noetherian ringspolynomial identitiesfirst-order rigidityquasi-finite axiomatizability

Mathematics Subject Classification ID

Trace rings and invariant theory (associative rings and algebras) (16R30) Noetherian rings and modules (associative rings and algebras) (16P40) Rings with polynomial identity (16R99) Semiprime p.i. rings, rings embeddable in matrices over commutative rings (16R20) Other classical first-order model theory (03C68)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polycyclic-by-finite groups and first-order sentences
• Direct products and elementary equivalence of polycyclic-by-finite groups.
• The nilpotency of the radical in a finitely generated P.I. ring
• Elementary theory of free non-abelian groups.
• Prime ideals in PI-rings
• Elementary equivalence versus isomorphism
• Tarski-type problems for free associative algebras
• Elementary equivalence of rings with finitely generated additive groups
• What does a group algebra of a free group ``know about the group?
• Finite presentation
• On the direct products of quasi-finitely axiomatizable groups.
• Uniform first-order definitions in finitely generated fields
• First order rigidity of non-uniform higher rank arithmetic groups
• R.J. THOMPSON’S GROUPSFANDTARE BI-INTERPRETABLE WITH THE RING OF THE INTEGERS
• Separating Classes of Groups by First-Order Sentences
• Some Remarks on Affine Rings
• Noetherian PI Rings not Module-Finite Over any Commutative Subring
• A Matrix Representation for Associative Algebras. I
• On first order rigidity for linear groups
• The Logical Complexity of Finitely Generated Commutative Rings
• Comparing quasi-finitely axiomatizable and prime groups
• Quasi-finitely axiomatizable nilpotent groups
• Quasi-finitely axiomatizable groups and groups which are prime models
• Prime Rings Satisfying a Polynomial Identity
• Finitely Generated Nilpotent Groups with Isomorphic Finite Quotients

This page was built for publication: First-order rigidity of rings satisfying polynomial identities