论数学中的公理化方法

本文介绍了公理化方法的发展历程,并就公理化方法所表现的形式及存在的优劣性进行了比 较研究。     

约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

γ-sets and other singular sets of real numbers

A family of $\text{J}$ of open subsets of the real line is called an ω-cover of a set X iff every finite subset of X is contained in an element of $\text{J}$. A set of reals X is a γ-set iff for every ω-cover $\text{J}$ of X there exists $\text{〈D}{}_{\mathrm{n}}\text{: n < ω〉?}\text{J}{}^{\mathrm{\omega }}$ such that

In this paper we show that assuming Martin's axiom there is a γ-set X of cardinality the continuum.     

拓扑分子格的弱T*分离公理

利用强半开邻域引入和研究了拓扑分子格的弱Ti^*分离公理，这是Ti^*分离公理的推广(i=1，2，3，4)．     

Q-紧性与强T_2分离性

在不分明拓扑学中,紧性是被普遍关心的问题,而且作了较为深入的研究,得到了一系列较好的结果,如文献[1—5],本文目的是在文献[6]中提出的拓扑分子格理论的框架下,首先是借助于完全分配格中元的成分概念把不分明拓扑空间中的Q-紧性概念推广到拓扑分子格中;其次是对于完全分配格中的不可比分子在拓扑分子格中引入了强T_2分离性概念。     

莘数理论(I)

本文给出了莘数的定义与性质,从而扩张了经典数系,并对莘数范围内解方程作了初步的准备。     

A brief remark on van der Waerden spaces

We demonstrate that Martin's axiom for -centered notions of forcing implies the existence of a van der Waerden space that is not a Hindman space. Our proof is an adaptation of the one given by M. Kojman and S. Shelah that such a space exists if one assumes the continuum hypothesis to be true.

     

平均分排序法合理性分析

依 A rrow提出的选举问题的四条公理为准则 ,利用联合尺度条件 ,阐明目前流行的筛选平均分排序法 (即去掉一个最高分和一个最低分后 ,用余下的各分数的算术平均分作为待评人的最后得分 )是一种看似公正 ,实为错误的排序方法