共查询到20条相似文献,搜索用时 125 毫秒
1.
2.
一般原型——模型论的理论体系(Ⅴ) 总被引:1,自引:0,他引:1
通过一般原型-模型论的原-模关系公理(同型公理;模型公理)对该理论的内容体系作了大致的概括和描述,从而可以显示出一般原-模型论的广阔研究范围与普通范围。 相似文献
3.
一般原型——模型论的理论体系(Ⅰ) 总被引:1,自引:0,他引:1
通过一般原理-模型论的同型公理(及模型公理)对该理论的内容体系作了大致的概括和描述,从而可以显示出一般原型-模型论的广阔研究范围与普适范围。 相似文献
4.
一般原型—模型论的理论体系(Ⅲ) 总被引:1,自引:0,他引:1
通过一般原型-模型论的同型公理对该理论的内容体系作了大致的概括和描述,从而可以显示出一般原型-模型论的广阔研究范围与普适范围。 相似文献
5.
通过一般原型-模型论的原-模关系公理对该理论的内容体系作了大致的概括和描术这,从而可以显示出一般原型-模型论的广阔研究范围与普适范围。 相似文献
6.
通过一般原理-模型论的同型公理(及模型公里)对该理论的内容体系作了大致的概括和描述,从而可以显示出一般原型-模型论的广阔研究范围与普适范围。 相似文献
7.
用模型论的方法证明了一类n素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的. 相似文献
8.
用模型论的方法证明了一类三素元组猜想独立于一公理组,此公理组在自然数系N上是与Peano算数公理组等价的. 相似文献
9.
10.
11.
孙晓蓝 《北京科技大学学报》1990,12(5):495-498
Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明。 相似文献
12.
王世强 《北京师范大学学报(自然科学版)》2002,38(2):183-186
用模型论方法证明了Goldbach猜想和孪生素数猜想等的一些形式都独立于一组公理P1(而P1在自然数系N上与Peano公理组PA等价). 又证明了它们与一组较强的公理P2相和谐(P2也在N上与PA等价). 相似文献
13.
在原型模型论框架内审视反义词的标记性。原型模型论是东方辩证法的次级理论,其根本原理为共轭相生。从具有等级性属性的一组事物到量级,再到反义词体现出两层原型模型的关系。原型的变化必然在模型层面体现出来,量级中矛盾双方力量对比的不均衡反映在语言层面主要表现为标记性。 相似文献
14.
张翔 《西北师范大学学报(自然科学版)》1993,29(2):9-15
提出 N-BGC(13条)公理系统用以刻划广义集、广义类,并研究了广义类的性质和运算,形成了广义集论的雏型.广义集论不仅给出了公理集合论与公理聚合论的统一处理及它们的一个真扩张,而且特殊化后,既保持了朴素集合论、聚合论的基本内容,也消除了文中的“病态”结果. 相似文献
15.
Goldbach猜想对于Peano公理组的条件独立性——对一些数论问题的逻辑讨论(I) 总被引:3,自引:3,他引:0
王世强 《北京师范大学学报(自然科学版)》2001,37(4):452-455
用模型论方法证明了,在对于自然数系Goldbach猜想及一阶Peano公理组的某种等价表述下,前者在逻辑上独立于后者,此外,还宣布了一些其他结果。 相似文献
16.
王世强 《北京师范大学学报(自然科学版)》2001,37(4)
用模型论方法证明了,在对于自然数系的Goldbach猜想及一阶Peano公理组的某种等 价表述下,前者在逻辑上独立于后者.此外,还宣布了一些其他结果. 相似文献
17.
王世强 《北京师范大学学报(自然科学版)》2002,38(3):310-312
用模型论方法证明了,对于在自然数系N上与PA等价的一组公理P1而言,N中一类特殊完美数的无限性是独立于P1 的. 并且,N中一类特殊亲和数的无限性也是独立于P1的. 相似文献
18.
19.
20.
任运平 《山西师范大学学报:自然科学版》1993,(4)
本文主要对胡庆平在BCI—代数一书中提出的问题“有限的BCI—代数是否一定是拟可换的”给出了肯定的回答,同时还得到BCI—代数定义中公理V可以由前边四条公理推出。 相似文献