Complementary pair of quasi-antiorders

• Autorzy: Crvenkovic S. , Mitrovic M. , Romano D. A.
• Języki publikacji: EN

Abstrakty

EN

The aims of the present paper are to introduction and investigate of notions of complementary pairs of quasi-antiorders and half-space quasi-antiorder on a given set. For a pair alfa and beta of quasi-antiorders on a given set A we say that they are complementary pair if alfa union beta =not equal to=A and alfa intersection beta = empty set. In that case, alfa (and beta ) is called half-space on A. Assertion, if alfa is a half-space quasi-antiorder on A, then the induced anti-order theta on A/(alfa union alfa -1) is a half-space too, is the main result of this paper.

Słowa kluczowe

EN

Constructive mathematics; set with apartness; anti-order; quasi-antiorder; complementary pair of quasi-antiorders; half-space

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2010
• Tom: Vol. 45
• Strony: 135--142
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Crvenkovic S.

autor

Mitrovic M.

autor

Romano D. A.

• Department of Mathematics and Informatics, Novi Sad University 4, Dositej Obradović Square, 21000 Novi Sad, Serbia Faculty of Mechanical Engineering, University of Nis 14, Aleksandra Medvedeva, 18000 Nis, Serbia Department of Mathematics and Informat,

Bibliografia

• [1] E. Bishop, Foundations of constructive analysis, McGraw-Hill, New York 1967.
• [2] D. S. Bridges and F. Richman, Varieties of constructive mathematics, London Mathematical Society Lecture Notes 97, Cambridge University Press, Cambridge, 1987.
• [3] I. Cajda, Congruences in transitive relational systems, Miscolc Math. Notes 5 (1)(2004), pp. 19–23.
• [4] D. Jojić and D.A.Romano, Quasi-antiorder relational systems, Inter. J. Contem.Math. Sciences 3 (27) (2008), pp. 1307–1315.
• [5] A.I. Maltsev, Algebraic systems, Springer - Verlag, Berlin, 1973.
• [6] R. Mines, F. Richman and W. Ruitenburg, A course of constructive algebra,Springer, New York 1988.
• [7] D.A. Romano, On construction of maximal coequality relation and its applications,Proceedings of 8th international conference on Logic and Computers Sciences ”LIRA’97”, Novi Sad, September 1-4, 1997, (Editors: R.Tośić and Z.Budimac), Institute of Mathematics, Novi Sad 1997, pp. 225–230.
• [8] D.A. Romano, Some relations and subsets of semigroup with apartness generated by the principal consistent subsets, Univ. Beograd, Publ. Elektroteh. Fak. Ser. Math. 13 (2002), pp. 7–25.
• [9] D.A. Romano, A note on quasi-antiorder in semigroup, Novi Sad J. Math. 37 (1)(2007), pp. 3–8.
• [10] D.A. Romano, On regular anticongruence in anti-ordered semigroups, Publications de l’Institut Mathematique 81 (95) (2007), pp. 95–102.
• [11] D.A. Romano, An isomorphism theorem for anti-ordered sets, Filomat 22 (1) (2008),pp. 145–160.
• [12] A.S. Troelstra and D. van Dalen, Constructivism in mathematics, an Introduction,North-Holland, Amsterdam 1988.