Equality in the Presence of Apartness
Equality in the Presence of Apartness
复制标题
分离中的平等
DOI：
--
复制
发表时间：
1979
期刊：
影响因子：
--
通讯作者：
R. Statman
中科院分区：
文献类型：
--
作者：
D. Dalen;R. Statman
分离关系由 Brouwer [1]、[2] 引入，作为连续统上不等式关系的正类比。随后，Heyting 引入了公理地分离的概念来处理公理几何和代数，[7]、[8]、[9]。在本文中，我们将采取公理化的观点并考虑分离和平等的一阶直觉理论。
The apartness relation was introduced by Brouwer, [1], [2], as a positive analogue of the inequality relation on the continuum. Subsequently Heyting introduced the notion of apartness axiomatically for a treatment of axiomatic geometry and algebra, [7], [8], [9]. In this paper we will take the axiomatic point of view and consider first-order intuitionistic theories of apartness and equality.