说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 不可谈判的
1)  non-negotiable
不可谈判的
2)  negotiable duty
可谈判的义务
3)  undecidability,undecidable
不可判定的
4)  Inaction,in negotiating
谈判中的按兵不动
5)  irrevocable judgment
不可撤销的判决
6)  negotiable price
可谈判价格
补充资料:本质不可判定理论


本质不可判定理论
essentially-undetidabfe theory

  本质不可判定理论【曰”由叨y一田吐幼面b晚口峨叮;c拟e-eTne。。0.,a3少翔班胭坦T即,阳] 一个算法不可判定的逻辑理论,它的所有相容扩张也是不可判定的(见不可判定性(也d戊山腼ty)).一个初等理论间改压泊扭口山印巧)为本质不可判定理论,当且仅当它的每一个模型都有一个不可判定的初等理论.每个完全不可判定理论都是本质不可判定理论,如形式算术(面面拙度,扔m创).没有一个具有穷模型的理论可为本质不可判定理论. 一个适当的有穷可公理化的初等理论S的本质不可判定性,通常用于证明一个给定理论T的不可判定性(见「l],[2l).在这种证明中,S在T的任何模型M中被解释.解释的定义域和S命名的元素的值,均用T的语言中相应公式在模型M中的值加以定义.如果该解释为S的模型,则T是不可判定的;而且,这个理论是拳债不可剖宇的(址淤山妞询旧山戈初以比),即它的与T同样署名的所有子理论都是不可判定的.这个方法用来证明初等谓词逻辑、初等群论、初等域论等的不可判定性.有穷公理化的形式算术常用作本质不可判定理论S.艾达尔上同调〔启.k以‘阅劝粉;,T舰‘。从e二oroMo刀卜r皿] 在艾达尔拓扑帕欧topolo咖中的层的上同调.艾达尔上同调是按标准的方式用导出函子来定义的.设X是概形,戈:是X上的艾达尔拓扑,则戈,上的Abel群层范畴是有足够多内射对象的Ab日范畴.整体截面函子r是左正合的,其导出函子了}~H“(X,劝(这里了是X。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条