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.