数理逻辑数学基础科技名词
数理逻辑数学基础科技名词:第4页
初等等价[的]
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
首页
上一页
第4页
下一页
数理逻辑数学基础 的上级学科
数学
数理逻辑数学基础 的下级学科
模型论
证明论
集合论
递归论
数学基础
非经典逻辑