Ершов, Ю.Л., et al. "Разрешимость некоторых неэлементарных теорий." Algebra i Logika 3.2 (1964): 45-47. <http://eudml.org/doc/186618>.
@article{Ершов1964,
author = {Ершов, Ю.Л., Eršov, Ju.L., Eršov, Ǔ. L., Ersov, Ju.L.},
journal = {Algebra i Logika},
keywords = {Loewenheim's theorem; extended theory; second-order theory; decidability},
language = {rus},
number = {2},
pages = {45-47},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Разрешимость некоторых неэлементарных теорий},
url = {http://eudml.org/doc/186618},
volume = {3},
year = {1964},
}
TY - JOUR
AU - Ершов, Ю.Л.
AU - Eršov, Ju.L.
AU - Eršov, Ǔ. L.
AU - Ersov, Ju.L.
TI - Разрешимость некоторых неэлементарных теорий
JO - Algebra i Logika
PY - 1964
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 3
IS - 2
SP - 45
EP - 47
LA - rus
KW - Loewenheim's theorem; extended theory; second-order theory; decidability
UR - http://eudml.org/doc/186618
ER -
