When the lexicographic product of two po-groups has the Riesz decomposition property

DOI10.1007/S00012-017-0447-YzbMATH Open1420.06027arXiv1604.08909OpenAlexW2963532473MaRDI QIDQ2407974FDOQ2407974

Authors: Anatolij Dvurečenskij, Omid Zahiri 

Publication date: 9 October 2017

Published in: Algebra Universalis (Search for Journal in Brave)

Abstract: 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.

Full work available at URL: https://arxiv.org/abs/1604.08909

Recommendations

• Riesz decomposition properties and the lexicographic product of po-groups
• The lexicographic product of po-groups and \(n\)-perfect pseudo effect algebras
• Lexicographic product vs \(\mathbb Q\)-perfect and \(\mathbb H\)-perfect pseudo effect algebras
• Pseudoeffect algebras. I: Basic properties
• Lexicographic pseudo effect algebras

zbMATH Keywords

po-groupRiesz decomposition propertylexicographic productpseudo effect algebraunital po-groupantilattice po-group

Mathematics Subject Classification ID

Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantum logic (03G12) MV-algebras (06D35) Ordered groups (06F15)

Cites Work

• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Algebraic foundations of many-valued reasoning
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A non-commutative generalization of MV-algebras
• Pseudo MV-algebras are intervals in ℓ-groups
• Effect algebras and unsharp quantum logics.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Pseudoeffect algebras. I: Basic properties
• Pseudoeffect algebras. II: Group representations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• Perfect effect algebras are categorically equivalent with Abelian interpolation po-groups
• Lexicographic product vs \(\mathbb Q\)-perfect and \(\mathbb H\)-perfect pseudo effect algebras
• Gödel spaces and perfect MV-algebras
• Coproduct MV-algebras, nonstandard reals, and Riesz spaces
• Lexicographic MV-algebras and lexicographic states.
• Lexicographic pseudo MV-algebras
• Riesz decomposition properties and the lexicographic product of po-groups
• Lexicographic effect algebras

Cited In (4)

• Riesz decomposition properties and the lexicographic product of po-groups
• The lexicographic product of po-groups and \(n\)-perfect pseudo effect algebras
• Lexicographic product vs \(\mathbb Q\)-perfect and \(\mathbb H\)-perfect pseudo effect algebras
• Lexicographic pseudo effect algebras

This page was built for publication: When the lexicographic product of two po-groups has the Riesz decomposition property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2407974)