Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Volume 11 / Issue 12

available in:   PDF (137 kB) PS (122 kB)
 
get:  
Similar Docs BibTeX   Write a comment
  
get:  
Links into Future
 
DOI:   10.3217/jucs-011-12-1865

 

Constructive Suprema

Marian Alexandru Baroni (CFR High School, Romania)

Abstract: Partially ordered sets are investigated from the point of view of Bishop's constructive mathematics, which can be viewed as the constructive core of mathematics and whose theorems can be translated into many formal systems of computable mathematics. The relationship between two classically equivalent notions of supremum is examined in detail. Whereas the classical least upper bound is based on the negative concept of partial order, the other supremum is based on the positive notion of excess relation. Equivalent conditions of existence are obtained for both suprema in the general case of a partially ordered set; other equivalent conditions are obtained for subsets of a lattice and, in particular, for subsets of Rnnn.

Keywords: constructive mathematics, partially ordered set, supremum

Categories: F.4.1