ON RETRACT EXTENSION OF ORDERED SET–A CONSTRUCTIVE POINT OF VIEW1
Abstract
In this paper a concept of the retract extensions of ordered sets with apartness is given by Bishop’s constructive mathematics point of view.
Keywords
Constructive mathematics, order and anti-order relation, ideal and anti-ideal of ordered set, order isotone and order reverse isotone function, anti-order isotone and anti-order reverse isotone function.
Full Text:
PDFThis work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
© 2010-2022 International Journal of Mathematical Archive (IJMA) Copyright Agreement & Authorship Responsibility |