Applications of logic in associative algebras General and structure theory mathematics