Разрешимость теории T_f=\Th(\omega, 0, 1, <, +, f(x), F(x)), что теория T_
f=\Th(\omega, 0, 1,<,$ $+,
f(x),
F(x)) является разрешимой, демонстрируя, что каждая
Об одном свойстве формации всех p -нильпотентных группДля формации
F всех p -нильпотентных групп в данной работе доказывается, что если
H и –
F