Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта -формул
О.В. Кудинов; O. V. Kudinov; O. V. Kudinov; O. V. Kudinov
Algebra i Logika (1996)
- Volume: 35, Issue: 4, page 458-467
- ISSN: 0373-9252
Access Full Article
top
How to cite
topКудинов, О.В., et al. "Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта $\exists $-формул." Algebra i Logika 35.4 (1996): 458-467. <http://eudml.org/doc/187781>.
@article{Кудинов1996,
author = {Кудинов, О.В., Kudinov, O. V., Kudinov, O. V., Kudinov, O. V.},
journal = {Algebra i Logika},
keywords = {autostability; computable Scott family; 1-decidable model; unar},
language = {rus},
number = {4},
pages = {458-467},
publisher = {Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki},
title = {Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта $\exists $-формул},
url = {http://eudml.org/doc/187781},
volume = {35},
year = {1996},
}
TY - JOUR
AU - Кудинов, О.В.
AU - Kudinov, O. V.
AU - Kudinov, O. V.
AU - Kudinov, O. V.
TI - Автоустойчивая 1-разрешимая модель без вычислимого семейства Скотта $\exists $-формул
JO - Algebra i Logika
PY - 1996
PB - Akademija Nauk SSSR, Sibirskoe Otdelenie, Institut Matematiki
VL - 35
IS - 4
SP - 458
EP - 467
LA - rus
KW - autostability; computable Scott family; 1-decidable model; unar
UR - http://eudml.org/doc/187781
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.