论文摘要
模型论的早期性质是由Th.Skolem等人在数理逻辑的相关研究中提出的.随着研究的深入,模型论的知识体系得以逐步完善,并成为一门独立的学科.型是模型论中重要的概念之一,而完全n型又是型的一种重要类型.完全n型的存在使得型的概念更加的立体化,从而使得相关内容的研究更加具体化和简单化.近些年来,对完全n型的性质研究从未间断过,并且得到了很多重要的结果.本文利用n型和完全n型的概念及性质去探讨了n型的实现性,完全n型的孤立性,L-结构的饱和性及几者之间的性质关系.具体安排如下:一.介绍了数理逻辑和模型论的发展历史,以及本学位论文所需要的基础知识.二.根据型的性质去探讨n型的概念及性质.三.根据n型的性质去探讨完全n型的概念及性质.四.在n型的性质基础上,探讨n型的实现性质.五.在完全n型的性质基础上,探讨完全n型的孤立性质.六.在n型的实现性和完全n型的孤立性的基础上,探讨L-结构的饱和性质。
论文目录
文章来源
类型: 硕士论文
作者: 陆煜杰
导师: 陈国龙
关键词: 完全型,结构,实现,孤立,饱和
来源: 淮北师范大学
年度: 2019
分类: 基础科学
专业: 数学
单位: 淮北师范大学
分类号: O141.4
总页数: 30
文件大小: 2011K
下载量: 10