|
|||||
|
|
Theories of rings with divisibility |
|
| Authors: | Joachim Reineke |
| Institution: | Universit?t Hannover, Institut Für Mathematik E , Welfengarten 1, Hannover, D–30167, Germany E-mail: reineke@math.uni-hannover.def |
| Abstract: | We consider several different theories of commutative rings with a new predicate symbol | together with the additional axiom a|b ? ?c (a . c = b) and show that none of these has a model companion. |
| Keywords: | Efficient presentations Finite groups Finite semigroups |