Volume no :1, Issue no: 2, May (2009)

Journal of Pure and Applied Mathematics: Advances and Applications

A COMPLETE ANTI-ORDER IS THE INTERSECTION OF FAMILY OF ALL ANTI-ORDERS CONTAINING IT

Author's: Daniel Abraham Romano
Pages: [121] - [128]
Received Date: December 01, 2008
Submitted by:

Abstract

This article, within the Bishop’s constructive mathematics, is a continuation of author’s investigation of anti-orders on set with apartness. An anti-order is complete if holds. The result of this investigation is the following: A complete anti-order is the intersection of family of all anti-orders containing

Keywords

constructive mathematics, set with apartness, anti-order, complete anti-order, quasi-antiorder.