In this paper we prove that the first order theories of the free MV algebras with finitely many generators aredifferent from each other. This answers to the MV algebra analogue of a well-known (now solved) problem ofTarski for groups.

On free MV algebras and a problem of Tarski

DI NOLA, Antonio;LENZI, Giacomo;VITALE, GAETANO
2016

Abstract

In this paper we prove that the first order theories of the free MV algebras with finitely many generators aredifferent from each other. This answers to the MV algebra analogue of a well-known (now solved) problem ofTarski for groups.
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: http://hdl.handle.net/11386/4664079
 Attenzione

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

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