...
机译:群组的索引集可相对于强大的构造自动稳定
Novosibirsk State Univ Sobolev Inst Math Novosibirsk Russia;
Novosibirsk State Univ Sobolev Inst Math Novosibirsk Russia;
Novosibirsk State Univ Sobolev Inst Math Novosibirsk Russia;
computable model; strongly constructivizable model; autostability; autostability relative to strong constructivizations; group; 2-step nilpotent group; hyperarithmetical hierarchy; index set;
机译:相对于严格的构造而言是自动稳定的有限和图形签名的构造模型的索引集
机译:相对于熟悉类的强构造化构造模型的自动稳定索引集
机译:相对于强结构化而言非平凡签名自动稳定的结构模型的索引集
机译:相对于强结构化,没有自动稳定性程度的基本模型
机译:通过中性D介子衰变到kaon + kaon-中性介子衰变的Dalitz图分析来测量反中性D介子衰变为kaon +共振kaon-和中性D介子衰变为kaon +共振kaon-之间的相对振幅和强相
机译:MicroRNA-199B放松管制在早期结肠直肠癌中显示出较强的独立性预后值
机译:用oracle对多项式层次进行强分离:通过免疫和简单集进行建设性分离