Geodesic
The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set
The Bulletin of Irkutsk State University. Series Mathematics, Tome 10 (2014), pp. 93-105

Voir la notice de l'article provenant de la source Math-Net.Ru

In this work we consider the closure operator with the equality predicate branching ($E$-operator) on the set of hyperfunctions on two-element set. With respect to this operator closed classes of hyperfunctions are generated. We show that there are four submaximal classes and prove the criterion of functional completeness. The relation of equivalence is considered on the set of hyperfunctions obtained by their membership in $E$-submaximal classes. All hyperfunctions are divided into 14 equivalence classes. In closed sets the minimal closed subsets named basis are derived. We show that basis of hyperfunctions can have cardinality from 1 to 3 and there is no basis with cardinality more than 3. There is only one kind of basis with cardinality 1. The function from that basis does not belong to any of four $E$-submaximal classes. We obtain 23 kind of basis with cardinality 2 and 11 with cardinality 3.
Keywords: closure, equality predicate, hyperfunction, closed set, completeness criterion.
Mots-clés : superposition 
@article{IIGUM_2014_10_a6,
     author = {V. I. Panteleev and L. V. Ryabets},
     title = {The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set},
     journal = {The Bulletin of Irkutsk State University. Series Mathematics},
     pages = {93--105},
     publisher = {mathdoc},
     volume = {10},
     year = {2014},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IIGUM_2014_10_a6/}
}
TY  - JOUR
AU  - V. I. Panteleev
AU  - L. V. Ryabets
TI  - The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set
JO  - The Bulletin of Irkutsk State University. Series Mathematics
PY  - 2014
SP  - 93
EP  - 105
VL  - 10
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IIGUM_2014_10_a6/
LA  - ru
ID  - IIGUM_2014_10_a6
ER  - 
%0 Journal Article
%A V. I. Panteleev
%A L. V. Ryabets
%T The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set
%J The Bulletin of Irkutsk State University. Series Mathematics
%D 2014
%P 93-105
%V 10
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IIGUM_2014_10_a6/
%G ru
%F IIGUM_2014_10_a6
V. I. Panteleev; L. V. Ryabets. The closure operator with the equality predicate branching on the set of hyperfunctions on two-element set. The Bulletin of Irkutsk State University. Series Mathematics, Tome 10 (2014), pp. 93-105. http://geodesic.mathdoc.fr/item/IIGUM_2014_10_a6/