Computably rigid models with enumerable submodels.
Sibirskij Matematicheskij Zhurnal (2002)
- Volume: 43, Issue: 6, page 1265-1270 (2002); translation in Sib. Math. J. 43
- ISSN: 0037-4474
Access Full Article
topHow to cite
topBuzykaeva, A.N.. "Computably rigid models with enumerable submodels.." Sibirskij Matematicheskij Zhurnal 43.6 (2002): 1265-1270 (2002); translation in Sib. Math. J. 43. <http://eudml.org/doc/50497>.
@article{Buzykaeva2002,
author = {Buzykaeva, A.N.},
journal = {Sibirskij Matematicheskij Zhurnal},
keywords = {computable model; recursive model; computable automorphism; group of computable automorphisms; priority method; computably enumerable set; recursively enumerable set},
language = {eng},
number = {6},
pages = {1265-1270 (2002); translation in Sib. Math. J. 43},
publisher = {Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki},
title = {Computably rigid models with enumerable submodels.},
url = {http://eudml.org/doc/50497},
volume = {43},
year = {2002},
}
TY - JOUR
AU - Buzykaeva, A.N.
TI - Computably rigid models with enumerable submodels.
JO - Sibirskij Matematicheskij Zhurnal
PY - 2002
PB - Sibirskoe Otdelenie Rossijskoj Akademii Nauk, Institut Matematiki Im. S. L. Soboleva SO RAN, Novosibirsk; Izdatel'stvo Instituta Matematiki
VL - 43
IS - 6
SP - 1265
EP - 1270 (2002); translation in Sib. Math. J. 43
LA - eng
KW - computable model; recursive model; computable automorphism; group of computable automorphisms; priority method; computably enumerable set; recursively enumerable set
UR - http://eudml.org/doc/50497
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.