Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей

Венцов, Ю.Г.. "Проблема эффективного выбора для отношений и сводимостей в классах конструктивных и позитивных моделей."代数i Logika31.2 (1992): 101-118. <http://eudml.org/doc/187601>.

@1992年，
作者={列德瓦诺夫，Ю.Г.}，
journal={代数i逻辑}，
关键词={可构造模型；正模型；本质递归可枚举关系；自动稳定模型；有效选择问题}，
语言={rus}，
数字={2}，
页数={101-118}，
publisher={Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所}，
标题=，
url={http://eudml.org/doc/187601},
体积={31}，
年份={1992年}，
}

TY-JOUR公司
澳大利亚-列支敦士登。
TI-ПробаемаЭффектирноГораатаоттоенистеаиСакссахккасрукритнхиПоианеиетреертуткин
JO-代数i Logika
1992年
PB-Akademija Nauk SSSR，Sibirskoe Otdelenie，Matematiki研究所
VL-31
为-2
SP-101型
EP-118
洛杉矶-罗斯
KW——可构造模型；实证模型；本质递归可枚举关系；自动稳定模型；有效选择问题
UR-（欧元）http://eudml.org/doc/187601
急诊室-