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).

Some invariant skeletons for l-u groups and MV-algebras

Di Nola, A.;Lenzi, G.
;
RUSSO, ANNA CARLA
2019-01-01

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).
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/4703559
 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