EXTENSIONS OF ORDERED SETS – CONSTRUCTIVE POINT OF VIEW1
Abstract
This investigation is in the Bishop’s constructive mathematics. A theorem of the ideal extensions for ordered sets is given. If X and Y are ordered sets under a partial order and an anti-order, we construct the ordered sets V = XY which has ideal A isomorphic to X, and anti-ideal B in V isomorphic to Y.
Keywords
Constructive mathematics, anti-order, order extension
Full Text:
PDFThis work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
© 2010-2024 International Journal of Mathematical Archive (IJMA) Copyright Agreement & Authorship Responsibility |