On the utility of Robinson-Amitsur ultrafilters
arXiv:0911.5414 · doi:10.1016/j.jalgebra.2013.04.024
Abstract
An embedding theorem for algebraic systems is presented, basing on a certain old ultrafilter construction. As an application, we outline alternative proofs of some results from the theory of PI algebras, and establish some properties of Tarski's monsters.
v8: cosmetical fixes