聚合公理系统的布尔值模型

本文以ＺＦｃ聚合公理系统为基础，构造了ＺＦｃ的布尔值模型，证明了关键定理９、定理１５，使得ＺＦ集合公理系统的布尔值模型ＶＯｎ＾（Ｂ）是聚合公理系统的布尔值模型〔ＶＯＮ＾（Ｂ）〕的子模型，并且ＺＦ集合公理组在〔ＶＯＮ＾（Ｂ）〕中满足。     

公理系统ACG的层谱

在文献[1]中,我们从研究范畴论的基础出发,建立了聚合的公理系统ACG,我们也在ACG中证明了系统ZF^#与QM的协调性。本文对ACG建立了一个层谱,B₀,B₁,…,B_n,……(n∈ω)使得在这一列系统中前者的协调性均可在后者中加以证明,并且它们的并就是ACG。作者另文的结果,即ZF^#与QM的协调性只需在B₀中就可以获得,虽然,在B₀与ACG之间还存在个具有递增强度的公理系统。     

中介公理集合论系统MS

本文概述中介公理集合论MS中有关“两种谓词的划分与定义”、“集合的运算”、“谓词与集合”、“小集与巨集”、“MS与ZFC的关系”、“逻辑数学悖论在MS中的解释方法”等文中的定义、引理和定理。     

集合论公理系统的层谱

在文献[1,2]中,我们研究了范畴论基础,建立了集合的公理系统ACG,它能够处理超出了集合与类的极其大的汇合。本文进一步推广了系统ACG,建立了集合论公理系统的三个无穷序列:H_0,H_1,…;J_0,J_1,…,G_0,G_1,…。在建立这些公理系统的过程中,我们使用了类型论的方法,它们描述的能力是逐步增长的,     

集合论的一些新公理系统

在公理集合论中,Zermelo-Fraenkel系统(ZF)与Von Neumann-Bernays-Gdel系统(BG)最为有名,但是仍有很多值得改进的地方,这两个系统虽然有很多根本观点是彼此不同的,但其公理却彼此息息相关,对其一作出改变后,相应地可用同法对另一系统作出改变,因此只须讨论一个系统便够了。作者认为,ZF系统较BG系统更为自然,因此     

具有两个生成元的SL2(C)的可解子群构造及对Fuchs系统的应用

本文给出ＳＬ₂（Ｃ）中具有两个生成元的可解子群的结构定理,并由单值群的可解性定义一类环面Ｔ²上Ｆｕｃｈｓ系统的可积性,进而研究该系统的解的一些大范围性质．     

论优化问题的公理方法（Ⅰ）

π－簇表示论域Ω上具有性质π的集合簇：≠；当Ａ，Ｂ∈，Ｂ∈，ＸＡ，总有Ｘ，Ａ∪Ｂ∈．定义２在π－簇上，＊是优化算子，如果公理１Ａ对应唯一的子集合Ａ＊．写Ａ＝Ａ＊∪，Ａ＊∩Ａ＝；公理２；．定义３在定义２中，还满足公理３若ＡＣ，则ＡＣ；公理４（Ａ＊∪Ｂ）＊（Ａ∪Ｂ），则说算子＊是上的第一类优化算子．对此，建立了两个优化原理，还给出了几个关于这种算子＊的例子．     

PSL（2，F）的一个嵌入定理及其应用

设Ｆ是任意域，Ｇ代表ＳＬ（２，Ｆ）或ＰＳＬ（２，Ｆ）．本文的主要结果是：设Ｋ是Ｆ的子域，则Ｇ中同构于ＳＬ（２，Ｋ）或ＰＳＬ（２，Ｋ）的子群在Ｇ的自同构的作用下彼此共轭，利用这一结果，本文明确确定了A₁^[1]型的仿射Ｋａｃ－Ｍｏｏｄｙ群的一类极大正规子群．     

二维微分系统解的有界性和全局一致Lipschitz稳定性

二维微分系统解的有界性和全局一致Ｌｉｐｓｃｈｉｔｚ稳定性杨恩浩，甘露如（暨南大学数学系，广州５１０６３２）ＢＯＵＮＤＥＤＮＥＳＳＡＮＤＧＬＯＢＡＬＵＮＩＦＯＲＭＬＩＰＳＣＨＩＴＺ－ＳＴＡＢＩＬＩＴＹＦＯＲＳＯＬＵＴＩＯＮＳＯＦＴＷＯ－ＤＩＭＥＮＳＩＯ...     

关于积流形的P－形式上的Laplace算子谱

本文讨论了积流形的Ｐ－形式上Ｌａｐｌａｃｅ算子谱的唯一性问题，在紧Ｋａｃｈｌｅｒ流形乘积和紧Ｓａｓａｋｉ流形乘积的两类积流形中，ＣＰ^ｎ×ＣＰ^ｎ和Ｓ^２ｎ＋１（１）×Ｓ^２ｎ＋１（１）是Ｐ－形式上Ｌａｐｌａｃｃｅ算子谱特征。     

Model Approach to Nonstandard Analysis in the Context of Axiomatic Set Theory

In this paper, the model approach to nonstandard analysis is developed on the basis of Zermelo—Fraenkel axiomatic set theory with atoms. The traditional consideration of the standard superstructure V as the primary object of nonstandard analysis is justified. Set-theoretic axioms for the nonstandard system *V are obtained.     

Non Standard Regular Finite Set Theory

We propose a set theory, called NRFST, in which the Cantorian axiom of infinity is negated, and a new notion of infinity is introduced via non standard methods, i. e. via adequate notions of standard and internal, two unary predicates added to the language of ZF. After some initial results on NRFST, we investigate its relative consistency with respect to ZF and Kawai's WNST.     

Special Model Axiom in Nonstandard Set Theory

We demonstrate that the special model axiom SMA of Ross admits a natural formalization in Kawai's nonstandard set theory KST but is independent of KST. As an application of our methods to classical model theory, we present a short proof of the consistency (with ZFC) of the existence of a k⁺ like k-saturated model of PA for a given cardinal k.     

Fuzzy真凸集的公理化定义

本文以基本Ｆｕｚｚｙ点、Ｆｕｚｚｙ点为基础，给出Ｆｕｚｚｙ真凸集的公理化定义，并对其性质进行了讨论     

基于粗糙集理论的知识约简及应用实例

在保持分类能力不变的前提下 ,通过利用粗糙集理论中的知识约简方法 ,在保护知识库分类不变的条件下 ,删除其中不相关或不重要的知识 ,从而导出问题的决策 .利用基于决策表的粗糙集模型算法 ,实例分析如何数字化表示决策表 ,并对其进行属性约简和属性值的约简 ,从而提取决策规则 .     

多集值信息表中的多粒度模糊决策论粗糙集

多粒度粗糙集和决策论粗糙集是Pawlak粗糙集的重要推广,目前已成为人工智能研究的热点.然而,它们大多处理的都是单值信息系统中的问题.而实际生活中绝大多数都是处理多值问题,为了解决这一问题,在多集值信息表中将多粒粗糙集与模糊决策论粗糙集相结合进行研究,提出了其在乐观,悲观情形下的上下近似,研究了一些相关性质并给出了多集值信息表中的多粒度模糊决策论粗糙集精度、粗度的概念,最后通过一个具体例子验证其有效性.     

An Interpretation of the Zermelo-Fraenkel Set Theory and the Kelley-Morse Set Theory in a Positive Theory

An interesting positive theory is the GPK theory. The models of this theory include all hyperuniverses (see [5] for a definition of these ones). Here we add a form of the axiom of infinity and a new scheme to obtain GPK_∞⁺. We show that in these conditions, we can interprete the Kelley-Morse theory (KM) in GPK_∞⁺ (Theorem 3.7). This needs a preliminary property which give an interpretation of the Zermelo-Fraenkel set theory (ZF) in GPK_∞⁺. We also see what happens in the original GPK theory. Before doing this, we first need to study the basic properties of the theory. This is done in the first two sections.     

The Axiomatic Rank of the Quasivariety of Orderable Groups Is Infinite

We prove that the axiomatic rank of the quasivariety of orderable groups and that of the quasivariety of -torsion-free groups are infinite.     

A note on Bar Induction in Constructive Set Theory

Bar Induction occupies a central place in Brouwerian mathematics. This note is concerned with the strength of Bar Induction on the basis of Constructive Zermelo‐Fraenkel Set Theory, CZF. It is shown that CZF augmented by decidable Bar Induction proves the 1‐consistency of CZF. This answers a question of P. Aczel who used Bar Induction to give a proof of the Lusin Separation Theorem in the constructive set theory CZF. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)