Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 2014 Volume 14, Issue 2, Pages 63–68
(Mi vngu337)
|
On Definable and Autostable Congruences
A. G. Pinus Novosibirsk State Technical University
Abstract:
A connection between autostable and point-definable congruences is established for at most countable algebras.
Keywords:
congruencies, anguage of the second order logic, stability, point definability.
UDC:
519.48
Received: 15.11.2013
© , 2026