Some notes on elimination properties for the theory of Riesz MV-chains

Rok, strany: 2015, 789 - 800

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 $\mathsf{RMV}$ of linearly ordered Riesz MV-algebras and show that $\mathsf{RMV}$ admits elimination of quantifiers and uniform elimination of imaginary elements. In the process, we also prove several other results such as model-completeness, o-minimality, definability of Skolem functions, and a version of the Di Nola Representation Theorem for Riesz MV-algebras.

ISO 690:

Marchioni, E. 2015. Some notes on elimination properties for the theory of Riesz MV-chains. In Mathematica Slovaca, vol. 65, no.4, pp. 789-800. 0139-9918. DOI: https://doi.org/10.1515/ms-2015-0055

APA:

Marchioni, E. (2015). Some notes on elimination properties for the theory of Riesz MV-chains. Mathematica Slovaca, 65(4), 789-800. 0139-9918. DOI: https://doi.org/10.1515/ms-2015-0055