Some notes on elimination properties for the theory of Riesz MV-Chains
Some notes on elimination properties for the theory of Riesz MV-Chains
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.
Riesz MV-algebras, elimination of imaginaries, quantifier elimination
789-800
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
1 August 2015
Marchioni, Enrico
729c9984-5949-438e-8de7-0e079bdb9f96
Marchioni, Enrico
(2015)
Some notes on elimination properties for the theory of Riesz MV-Chains.
Mathematica Slovaca, 65 (4), .
(doi:10.1515/ms-2015-0055).
Abstract
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.
This record has no associated files available for download.
More information
Published date: 1 August 2015
Keywords:
Riesz MV-algebras, elimination of imaginaries, quantifier elimination
Identifiers
Local EPrints ID: 416595
URI: http://eprints.soton.ac.uk/id/eprint/416595
ISSN: 0139-9918
PURE UUID: 9fa3e67b-a962-4d25-842f-1587a6cb7d32
Catalogue record
Date deposited: 03 Jan 2018 17:30
Last modified: 15 Mar 2024 17:37
Export record
Altmetrics
Contributors
Author:
Enrico Marchioni
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics