Source author record

Omid Zahiri

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.AC

Catalog footprint

Research overview

5works

2topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2016arXiv

On epicomplete $MV$ -algebras

The aim of the paper is to study epicomplete objects in the category of $MV$ -algebras. A relation between injective $MV$ -algebras and epicomplete $MV$ -algebras is found, an equivalence condition for an $MV$ -algebra to be epicomplete is obtained, and it is shown that the class of divisible $MV$ -algebras and the class of epicomplete $MV$ -algebras are the same. Finally, the concept of an epicompletion for $MV$ -algebras is introduced, and the conditions under which an $MV$ -algebra has an epicompletion are obtained. As a result we show that each $MV$ -algebra has an epicompletion.

preprint2016arXiv

When Lexicographic Product of Two po-Groups has the Riesz Decomposition Property

We study conditions when a certain type of the Riesz Decomposition Property (RDP for short) holds in the lexicographic product of two po-groups. Defining two important properties of po-groups, we extend known situations showing that the lexicographic product satisfies RDP or even RDP $_1$ , a stronger type of RDP. We recall that a very strong type of RDP, RDP $_2$ , entails that the group is lattice ordered. RDP's of the lexicographic products are important for the study of lexicographic pseudo effect algebras, or perfect types of pseudo MV-algebras and pseudo effect algebras, where infinitesimal elements play an important role both for algebras as well as for the first order logic of valid but not provable formulas.

preprint2015arXiv

Orthocomplete Pseudo MV-algebras

Pseudo $MV$ -algebras are a non-commutative generalization of $MV$ -algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$ -algebras. We use the concepts of projectable pseudo $MV$ -algebras and large pseudo $MV$ -subalgebras to introduce orthocomplete pseudo $MV$ -algebras. Then we apply a generalization of the Mundici's functor to an orthocompletion of an representable $\ell$ -group to prove that each representable pseudo $MV$ -algebra has an orthocompletion. In particular, our results are valid also for $MV$ -algebras.

preprint2014arXiv

Pseudo Equality Algebras -- Revision

Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and Kóródi to pseudo equality algebras which are aimed to find a connection with pseudo BCK-algebras with meet. We show that every pseudo equality algebra is an equality algebra. Therefore, we define a new type of pseudo equality algebras which more precisely reflects the relation to pseudo BCK-algebras with meet in the sense of Kabziński and Wroński. We describe congruences via normal closed deductive systems, and we show that the variety of pseudo equality algebras is subtractive, congruence distributive and congruence permutable.

preprint2014arXiv

Some results on $L$ -complete lattices

The paper deals with special types of $L$ -ordered set, $L$ -fuzzy complete lattices, and fuzzy directed complete posets (fuzzy $dcpo$ s). First, a theorem for constructing monotone maps is proved, a characterization for monotone maps on an $L$ -fuzzy complete lattice is obtained, and it is proved that if $f$ is a monotone map on an $L$ -fuzzy complete lattice $(P;e)$ , then $\sqcap S_f$ is the least fixpoint of $f$ . A relation between $L$ -fuzzy complete lattices and fixpoints is found and fuzzy versions of monotonicity, rolling, fusion and exchange rules on $L$ -complete lattices are stated. Finally, we investigate $Hom(P,P)$ , where $(P;e)$ is a fuzzy $dcpo$ , and we show that $Hom(P,P)$ is a fuzzy $dcpo$ , the map $γ\mapsto \bigwedge_{x\in P}e(x,γ(x))$ is a fuzzy directed subset of $Hom(P,P)$ , and we investigate its join.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Omid Zahiri

Research overview

Is this your work?

5 publications

On epicomplete $MV$ -algebras

When Lexicographic Product of Two po-Groups has the Riesz Decomposition Property

Orthocomplete Pseudo MV-algebras

Pseudo Equality Algebras -- Revision

Some results on $L$ -complete lattices

See the researcher in context

Building this map preview

Omid Zahiri

Research overview

Is this your work?

5 publications

On epicomplete MVMVMV-algebras

When Lexicographic Product of Two po-Groups has the Riesz Decomposition Property

Orthocomplete Pseudo MV-algebras

Pseudo Equality Algebras -- Revision

Some results on LLL-complete lattices

See the researcher in context

Building this map preview

On epicomplete $MV$ -algebras

Some results on $L$ -complete lattices