Информационная система "Конференции"

Abstracts

Model theory and set theory

Under implicit function defined on some category of universal algebras we understand the function defined on base sets of algebras (objects of given category) which commutate with morphisms of given category.

There are the results by J. Reiterman, P.M. Higgins and others describing the implicit functions on pseudovarieties of universal algebras. In this work we study the problems of describing the implicit functions on pseudouniversal classes and on positive-conditional pseudo-varieties in the terms of conditional terms, and also we study the problems of categorial equivalency of different classes of finite algebras and mutual definability of algebras of these classes with the help of implicit functions.

Mail to Webmaster alc9@math.nsc.ru

|Home Page| |English Part|

Go to Home