紧致性定理相关论文
本文主要研究了模型论在代数方面的一些应用.文章首先介绍了模型论的发展历史和研究背景.其次将模型论中紧致性定理在商域中进行了......
很多人知道史丰收有一种祖传的速算法.在这方面,北京师范大学的赵慈庚教授曾帮助他整理成系统的文章.赵慈庚教授曾与华罗庚院士共......
在本刊初中版2012年第3期第41页,有陈教授提出的三个猜测,都是问某些数是否无理数。我们证明了这些数不但是无理数,并且是超越数(......
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view......
在不使用系统￡*的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必......
本文意在阐述数学思想方法的科学价值。首先从标准分析理论基础谈起,然后介绍了非标准分析理论的建立。通过从标准分析到非标准分......
用模型论的方法证明了一类三素元组猜想独立于一公理组，此公理组在自然数系N上是与Peano算数公理组等价的。......
定义1 设S是个体集合,R是S上的一些关系的集合,M(S,R)由R和S所组成。如果它的公理可在一阶语言L中表述,并使得对任何可在M中定义的......
给出了模型论在代数上的两个应用,得到了下列定理：定理A：如环R的任何有限生成子环均是局部环,则R是局部环.定理B：存在自然数的真扩张R......
文章用模型论中的紧致性定理证明了若L中理论T有任意可数阶的Abel群模型，则T有无扭Abel群模型；若一个语句φ在任意一个无扭Abel群中......
<正> 本文是[2]中开始的把2值模型论各主要结果向多值模型论推广工作的继续。有些基本概念及记号用法可参看该文。但所讨论的内容......
<正> 模型论一般被认为是一个比较抽象的数理逻辑分支,本文是为模型论中某些结论在其他数学分支中寻找新的事例的尝试之一。在考察......
<正> 首先给出定理1,它是模型论中紧致性定理的一个推论,但在代数中有不少应用.定理1 设 F={a_1,…,a_n}(n=p~m)为一有限域,令语言......
用模型论的方法证明了一类不定方程a1x^r1^1＋a2x^r2^2＋…＋anx^rn^n=by^s（其中a1,…,an,b为任意整数,r1,…,rn,s为任意正整数）有解.进一......
用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的.......
模型论中紧致性定理在代数中有很广泛的应用。用紧致性定理证明了若L中的理论T有任意大特征的整环或除环模型，则T有特征为0的整环或......
通过研究Lukasiewicz模糊命题逻辑系统中极大相容理论的基本性质,证明了每个极大相容理论都是某赋值的核,反过来,每个赋值的核也都......
在不使用系统L^＊的强完备性定理,而利用关于公式复杂度的归纳法给出了该系统中极大相容理论的结构刻画,得到了每一个极大相容理论必......
<正> 在[2],[3]中证明了当值格 L 有限时,紧致性定理成立.当值格 L 无限时紧性定理是否成立呢?说的更明确一点就是:设 T 是一个理......
模型论方法在抽象代数,数论,拓扑学,概率论等领域有着重要的应用.运用模型论中的紧致性定理和完全理论对格中的相关性质进行研究,......
为给模糊推理建立严格的逻辑基础，本文第二作者在1997年提出了一种新型的模糊命题演绎系统L^＊。本文基于系统L^＊的强完备性定理给出了......
文章借助模型论中滤子的概念,通过对滤子的研究及偏序集中滤子与理想之间的关系,引入超理想的概念,以及真理想、非主超理想的定义.......
对的格值模型，取其论域Ａ的幂集Ｓ（Ａ）的一个子集ｑ及Ａ中一组元素，把（Ｑ）中公式Ｑｘ（ｘ，）在（，ｑ）中处的值定义为，则（，ｑ）就构成（Ｑ）的一个格值弱模型．本文对（Ｑ）的格值弱模型证明了......
紧致性是一阶模型论的重要性质之一,本文给出紧致性定理的一个比较完整的纯语义证明。...
模型论中紧致性定理在代数中有很广泛的应用.文章用紧致性定理证明了,若L中的理论T有任意大特征的无零因子幺环模型,则T有特征为0......
