Abstract In this paper we study some invariants for MV-algebras and thanks to Mundici's equivalence we transfer these invariants to l-groups with strong unit. In particular, we prove that, as it happens to MV-algebras, every l-u group has two families of skeletons, which we call the n-skeletons and the n-omega- skeletons. Then we study the classes of l-u groups (and of MV-algebras) which coincide with the union of such skeletons, called here omega-skeletal and omega-omega-skeletal l-u groups (resp. MV-algebras). We also analyze the problem of axiomatizing in terms of geometric theories or theories of presheaf type these classes of l-u groups (and of MV-algebras).
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11386/4703559
Titolo: | Some invariant skeletons for l-u groups and MV-algebras |
Autori: | |
Data di pubblicazione: | Being printed |
Rivista: | |
Abstract: | Abstract In this paper we study some invariants for MV-algebras and thanks to Mundici's equivalence we transfer these invariants to l-groups with strong unit. In particular, we prove that, as it happens to MV-algebras, every l-u group has two families of skeletons, which we call the n-skeletons and the n-omega- skeletons. Then we study the classes of l-u groups (and of MV-algebras) which coincide with the union of such skeletons, called here omega-skeletal and omega-omega-skeletal l-u groups (resp. MV-algebras). We also analyze the problem of axiomatizing in terms of geometric theories or theories of presheaf type these classes of l-u groups (and of MV-algebras). |
Handle: | http://hdl.handle.net/11386/4703559 |
Appare nelle tipologie: | 1.1.2 Articolo su rivista con ISSN |
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.