模型论科技名词
模型论科技名词：第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页
下一页
模型论 的上级学科
数学
数理逻辑数学基础
学习应用类查询
新华字典
汉语词典
成语大全
诗词大全
英文缩写
英语单词
在线翻译
英文名
科技名词
五笔字根表
笔画数
偏旁部首
汉字拼音
区位码
郑码查询
仓颉编码
四角号码
中文电码
简繁转换
编码解码
专业词典
计算器
摩尔斯电码
圆周率
全部查询
我的订单