We present an algebraic characterization of both o-minimal and weakly o-minimal MV-chains by showing that a linearly ordered MV-algebra is (1) o-minimal if and only if it is finite or divisible, and (2) weakly o-minimal if and only if its first-order theory admits quantifier elimination in a suitable language if and only if Rad(A) is a divisible monoid and A/Rad(A) is either finite or divisible.

An Algebraic Characterization of O-Minimal and Weakly O-Minimal MV-Chains

LENZI, Giacomo;
2014-01-01

Abstract

We present an algebraic characterization of both o-minimal and weakly o-minimal MV-chains by showing that a linearly ordered MV-algebra is (1) o-minimal if and only if it is finite or divisible, and (2) weakly o-minimal if and only if its first-order theory admits quantifier elimination in a suitable language if and only if Rad(A) is a divisible monoid and A/Rad(A) is either finite or divisible.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11386/3924369
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact