Abstract—We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the class Red, the class of all semirings, and some so-called exotic semirings.
On semirings and MV-algebras
DI NOLA, Antonio;LENZI, Giacomo
2017-01-01
Abstract
Abstract—We study commutative idempotent semirings in general, and some examples in particular. We show that the class Red of semiring reducts of MV-algebras, although axiomatized by a first order theory, is not axiomatized by a geometric theory (in the topos-theoretic sense) or a universal-existential first order theory. Then we perform comparisons between the class Red, the class of all semirings, and some so-called exotic semirings.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.