模型论

分类包含 11 篇文章

子分类： 无

选择函数

初等等价

内模型

饱和模型

基本子结构

塔斯基-沃特测试

保守扩展

结构 (数理逻辑)

非标准模型

型 (模型论)