Сильная ${94}_1$-определимость модели в допустимом множестве

Хисамиев, А.Н.. "Сильная $94_1$-определимость модели в допустимом множестве." Sibirskij matematiceskij zurnal 39.1 (1998): 191-200. <http://eudml.org/doc/64145>.

@article{Хисамиев1998,
author = {Хисамиев, А.Н.},
journal = {Sibirskij matematiceskij zurnal},
keywords = {admissible set; constructive model; recursive model; Boolean algebra; Abelian group; $B$-model; Ulm types; ordinal types},
language = {rus},
number = {1},
pages = {191-200},
publisher = {Izd. AN SSSR},
title = {Сильная $94_1$-определимость модели в допустимом множестве},
url = {http://eudml.org/doc/64145},
volume = {39},
year = {1998},
}

TY - JOUR
AU - Хисамиев, А.Н.
TI - Сильная $94_1$-определимость модели в допустимом множестве
JO - Sibirskij matematiceskij zurnal
PY - 1998
PB - Izd. AN SSSR
VL - 39
IS - 1
SP - 191
EP - 200
LA - rus
KW - admissible set; constructive model; recursive model; Boolean algebra; Abelian group; $B$-model; Ulm types; ordinal types
UR - http://eudml.org/doc/64145
ER -