MR(2000)主题分类号(1)
2012-01-10 11:09阅读：
MR(2000)主题分类号(1)
00-XX 一般
00-01 教学博览会 (教材、 教程文件等）
00-02 研究博览会 (专著，调查文章)
00Axx 一般及杂项规定规格 c 主题
00A05 一般数学
00A06 nonmathematicians （工程、 社会科学、 数学等）。
00A07 问题书
00A08 趣味数学 [另请参阅 97A20]
00A15 参考书目
00A17 外部书评
00A20 词典和其他一般参考文献
00A22 商都
00A30 数学哲学 [另请参阅 03A05]
00A35 方法的数学教学法 [见 97Cxx，97Dxx]
00A69 一般应用数学 fFor 物理，请参见 00A79 和节通过 86 g 70
00A71 理论的数学建模
00A72 仿真的一般方法
00A73 三维分析
00A79 物理 (使用 mo
03Bxx 一般逻辑
03B05 经典命题逻辑
03B10 古典 rst 阶逻辑
03B15 高阶逻辑和类型理论
03B20 的子系统的经典逻辑 （包括直觉逻辑）
03B22 抽象演绎系统
r> 03B25 可判定性理论和句子 [又见 11U05，12 L 05 集] 20F10
03B30 基础的经典理论 (包括逆向数学)[另请参阅 03F35]
03B35 机械化的证明和逻辑运算 [另请参阅 68T15]
03B40 组合逻辑和 lambda 计算 [另请参阅 68N18]
03B42 逻辑知识与信仰
03B44 时态逻辑看到 03B42 ； 03B45
模态逻辑 fFor 知识与信仰时态逻辑请参阅 03B44
；provability 逻辑参见
03F45g
03B47 子结构逻辑 （包括关联、 蕴涵的线性逻辑，Lambek 微积分、 BCK 和宝的逻辑） fFor 证明理论方面请参见
03F52g
03B48 概率与归纳逻辑 [另请参阅 60A05]
03B50 多值逻辑
03B52 模糊逻辑
；模糊性的逻辑 [请参阅 68T27、
68T37 和 94 D 05]承认不一致 （弗协调逻辑，discussive 03B53
逻辑逻辑，等等）。
03B55 中间逻辑
03B60 其他非经典逻辑
03B65 逻辑的自然语言 [见 68T50，91F20]计算机科学中的 03B70 逻辑 [见 68 {XX]
03B80 其他应用程序的逻辑
03B99 没有上述情况，但在这一节中
03Cxx 模型理论
03 C 05 逐次类、 泛代数 [请参阅 08Axx、 08Bxx 和 18 C 05]
07 03 C 语言 rst 顺序和结构的基本属性
03 C 10 Quanti er 消除，模型的完整性和相关主题
03 C 13 有限结构 [见 68Q15，68Q19]
03 C 15 位势结构
03 C 20 Ultraproducts 和相关的结构
03 C 25 模型理论迫使
03 C 30 其他模型结构
03 C 35 Categoricity 和理论的完整性
03 C 40 插值、 保鲜、 de nability
03 C 45 古典文学阳离子理论、 稳定和相关的概念
03 C 50 模型具有特殊属性 （饱和、 刚性、 等）。
03 C 52 模型的类的属性
03 C 55 集理论模型理论
03 C 57 E ective 和递归理论模型理论 [见还 03 D 45]
03 C 60 模型理论代数 [见还 08 C 10、 12Lxx、 13 L 05]
03 C 62 模型的算术和集理论 [另请参阅 03Hxx]
03 C 64 模型理论的有序结构
；o-极小性
03 C 65 模型的其他数学理论
03 C 68 其他经典 rst 阶模型理论
03 C 70 受理集的逻辑
03 C 75 其他 nitary 逻辑
03 C 80 额外 quanti 雇员再培训计划与营办商 [又见 03B42，03B44，逻辑
03B45，03B48]
03 C 85 秒-和高阶模型理论
03 C 90 非经典模型 (布尔值，纤，等等。）
03 C 95 抽象模型理论
03 C 98 应用程序的模型理论 [见还 03 C 60]在这上面，但没有一条 03 C 99
03Dxx 可计算性与递归理论
03 D 03 厄和邮政系统等。
03 D 05 自动机与形式文法的逻辑问题[请参阅 68Q45、 68Q70、 68R15]
03 D 10 图灵机器和有关的概念 [另请参阅 68Q05]
03 D 15 计算的复杂性 [见 68Q15，68Q17]
03 D 20 递归函数和 subrecursive 的层次结构关系
03 D 25 以递归方式 （图灵） 可枚举集合和度
03 D 28 其他图灵度结构
03 D 其他 30 度和 reducibilities
03 D 35 确定性和程度的句子套
03 D 40 字问题，等 [请参阅 06B25，08A50，20F10，68R15]
03 D 45 复数，ectively 提交电子结构理论[见还 03 C 57 ； 有关直觉和类似的方法，请参阅
03F55]
03 D 50 递归等价类型的设置和结构、 isols
03 D 55 层次结构
03 D 60 可计算性与递归理论上序号、 受理集等。
03 D 65 高等教育类型并设置递归理论
03 D 70 感应 de nability
03 D 75 抽象和公理的可计算性与递归理论
03 D 80 应用程序的可计算性与递归理论在这上面，但没有一条 03 D 99
03Exx 集理论
03E02 分区关系
03E04 序的集和其公司黎族人
；pcf 理论
03E05 其他组合集理论
03E10 序号和基数号码
03E15 描述性集理论 [见 28A05，54 H 05]
03E17 连续体的基本特征
03E20 （包括功能、 关系和设置其他经典集理论代数）
03E25 公理化的选择与相关的命题
03E30 经典集理论和及其片段的公理系统
03E35 的一致性和独立的结果
03E40 其他方面的强制和布尔值模型
03E45 内部模型，包括 constructibility、 序号 de nability 和核心模型
03E47 其他概念集理论 de nability
03E50 连续统假设和马丁的公理
03E55 大型红衣主教
03E60 确定性原则
03E65 其他假设和公理
03E70 Nonclassical 和二阶设置理论
03E72 模糊集理论
03E75 集理论的应用
03E99 没有上述情况，但在这一节中
03Fxx 证明理论和建设性的数学
