In this paper, we will be concerned with Hyperfinite MV-algebras, which are infinite models of the theory of finite MV-algebras. We have three main results. As a first main result, we show that every hyperfinite MV-algebra is elementarily equivalent to a product of finite or hyperfinite MV-chains. As a second main result, we give an explicit, recursive axiomatization of finite or hyperfinite MV-algebras; this implies the decidability of the theory of all finite MV-algebras. As a third main result, we show that if A is a hyperfinite MV-algebra, then A/Rad(A) is infinite.
Hyperfinite MV-algebras
DI NOLA, Antonio;LENZI, Giacomo
2013-01-01
Abstract
In this paper, we will be concerned with Hyperfinite MV-algebras, which are infinite models of the theory of finite MV-algebras. We have three main results. As a first main result, we show that every hyperfinite MV-algebra is elementarily equivalent to a product of finite or hyperfinite MV-chains. As a second main result, we give an explicit, recursive axiomatization of finite or hyperfinite MV-algebras; this implies the decidability of the theory of all finite MV-algebras. As a third main result, we show that if A is a hyperfinite MV-algebra, then A/Rad(A) is infinite.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.
