Quick search
Go!

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

Issue:

SSRSMI, Number 2, Volume XXIX

Section:

Volume 29, Number 2

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.

Code [ID]:

SSRSMI201902V29S01A0010 [0005133]

Note:

Full paper:

Download pdf


Copyright (c) 1995-2007 University of Bacău