Search

Your search keyword '"Crvenković, Siniša"' showing total 2 results
Start Over Author "Crvenković, Siniša" Topic constructive mathematics
2 results on '"Crvenković, Siniša"'

1. Basic notions of (constructive) semigroups with apartness.

Author

Crvenković, Siniša, Mitrović, Melanija, and Romano, Daniel

Subjects
*CONSTRUCTIVE mathematics, *SEMIGROUPS (Algebra), *SUBSET selection, *ORDERED algebraic structures, *ISOMORPHISM (Mathematics)
Abstract

We examine basic notions of special subsets and orders in the context of semigroups with apartness and prove constructive analogues of some classical theorems relating such subsets and orders. [ABSTRACT FROM AUTHOR]

Published
2016
Full Text
View/download PDF

2. A THEOREM ON ANTI-ORDERED FACTOR-SEMIGROUPS.

Author

Crvenković, Siniša and Romano, Daniel A.

Subjects
*MATHEMATICAL programming, *GROUP theory, *SEMIGROUPS (Algebra), *CONSTRUCTIVE mathematics, *COMPUTABLE functions
Abstract

Let K be an anti-ideal of a semigroup (S,=, ≠, ·, θ) with apartness. A construction of the anti-congruence Q(K) and the quasi-antiorder θ, generated by K, are presented. Besides, a construction of the anti-order relation ϴ on syntactic semigroup S/Q(K), generated by θ, is given in Bishop's constructive mathematics. [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results