Opening book details…
Can I read Some Notes on Elimination Properties for The Theory of Riesz MV-Chains on EtoBox?
Some Notes on Elimination Properties for The Theory of Riesz MV-Chains by Enrico Marchioni is a Mathematics article available to read on EtoBox.
What is Some Notes on Elimination Properties for The Theory of Riesz MV-Chains about?
Riesz MV-algebras are a variety of algebras strongly connected to Riesz spaces. In this short article we investigate some elimination properties of the first-order theory RMV of linearly ordered Riesz MV-algebras and show that RMV admits elimination of quantifiers and uniform elimination of imaginary elements. In the process, we also prove several other results such as modelcompleteness, o-minimality, definability of Skolem functions, and a version of the Di Nola Representation Theorem for Riesz MV-algebras.
Who reads Some Notes on Elimination Properties for The Theory of Riesz MV-Chains?
It is typically read by researchers, students, and practitioners in Mathematics.
- Author
- Enrico Marchioni
- Publisher
- Walter de Gruyter GmbH
- Published
- 2015
- Language
- EN
- Field
- Mathematics (Physical Sciences)