高阶逻辑
规范用词
高阶逻辑
英文翻译
high order logic
所属学科
数学
>
数理逻辑数学基础
>
模型论
名词审定
数学名词审定委员会
见载刊物
《
数学名词
》 科学出版社
公布时间
1993年
模型论 的上级学科
数学
数理逻辑数学基础
高阶逻辑 相关科技名词
可满足性
satisfiability
可定义性
definability
可表示性
representability
膨胀
expansion
斯科伦函数
Skolem function
斯科伦壳
Skolem hull
斯科伦佯谬
Skolem paradox
降L-S定理
downward Loewenheim-Skolem theorem
内插定理
interpolation theorem
量词消去
elimination of quantifier
初等等价[的]
elementarily equivalent
子结构
substructure
子模型
submodel
初等子结构
elementary substructure
初等子模型
elementary submodel
模型链
chain of model
型
type
型省略定理
omitting types theorem
进退构造
back and forth construction
不可辨元
indiscernible
原子[语]句
atomic sentence;primitive sentence
原子公式
atomic formula
原子理论
atomic theory
原子模型
atomic model
素模型
prime model
饱和模型
saturated model
万有模型
universal model
极小模型
minimal model
齐次模型
homogeneous model
范畴性
categoricity
稳定性
stability
分叉
forking
莫利定理
Morley theorem
可靠性
soundness
递归结构
recursive structure
容许结构
admissible structure
形式化算术
formalized arithmetic
抽象模型论
abstract model theory
非标准分析
non-standard analysis
无穷小
infinitesimal