Неразрешимость позитивной $\forall {\exists }^3$-теории свободной полугруппы.

@article{Дурнев1995,
author = {Дурнев, В.Г.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {free semigroups; free generators; positive $\forall \exists ^3$-theory; algorithmically undecidable theories},
language = {rus},
number = {5},
pages = {1067-1080},
publisher = {Izd. AN SSSR},
title = {Неразрешимость позитивной $\forall \exists ^3$-теории свободной полугруппы.},
url = {http://eudml.org/doc/63856},
volume = {36},
year = {1995},
}

TY - JOUR
AU - Дурнев, В.Г.
TI - Неразрешимость позитивной $\forall \exists ^3$-теории свободной полугруппы.
JO - Sibirskij matematiceskij zurnal
PY - 1995
PB - Izd. AN SSSR
VL - 36
IS - 5
SP - 1067
EP - 1080
LA - rus
KW - free semigroups; free generators; positive $\forall \exists ^3$-theory; algorithmically undecidable theories
UR - http://eudml.org/doc/63856
ER -