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

available in:   PDF (137 kB) PS (122 kB)
Similar Docs BibTeX   Write a comment
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