CONSTRUCTIVE ORDERED ALGEBRAIC STRUCTURES

MARIAN ALEXANDRU BARONI

"Dunărea de Jos" University of Galați, Str. Domnească 111, Galați 800201, ROMANIA e-mail: marian.baroni@ugal.ro

Abstract

Ordered algebraic structures are examined within the framework of Bishop-style con-structive mathematics. In the constructive approach, the partial order is replaced by the classically equivalent, but constructively stronger, notion of co-order. While one could define an ordered algebraic structure by requiring certain properties of monotonicity of the algebraic operations, the constructive counterpart of strong mono-tonicity could be more appropriate for a constructive examination.

Keywords

constructive mathematics strongly monotone function co-ordered semigroup co-ordered ring