Mapping Abelian -groups with strong unit one-one into MV algebras
Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
An Abelian \(\ell\)-group (i.e., lattice-ordered group) G is said to have a strong unit u provided \(u\in G^+\) and to every element \(g\in G\) corresponds a natural number n such that \(g\leq nu\). Abelian \(\ell\)-groups with strong unit are important in the theory of \(C^*\)-algebras. MV- algebras, invented by C. C. Chang, are an algebraic counterpart of the \(\aleph_ 0\)-valued Lukasiewicz sentential calculus. Based on these facts and a remark of Dieudonné to the effect that invention of functors is one of the main goals of modern mathematics, the author constructs an object-injective functor from the category of Abelian \(\ell\)-groups with strong unit to the category of MV-algebras. Further results and applications are announced in a note added in proof.
- Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
- An elementary presentation of the equivalence between MV-algebras and \(\ell\)-groups with strong unit
- scientific article; zbMATH DE number 764334
- Extending Chang's construction to the category of m-zeroids and some category containing the category of abelian \(\ell\)-groups with strong unit.
- The Morita-equivalence between MV-algebras and lattice-ordered abelian groups with strong unit.
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Algebraic Analysis of Many Valued Logics
- Arithmetische Theorie derMV-Algebren endlicher Ordnung
- Axiom schemes for m-valued propositions calculi
- Dimension Groups and Their Affine Representations
- Fragments of Many-Valued Statement Calculi
- Groupes et anneaux reticules
- scientific article; zbMATH DE number 3650623 (Why is no real title available?)
- scientific article; zbMATH DE number 3712020 (Why is no real title available?)
- scientific article; zbMATH DE number 3203867 (Why is no real title available?)
- scientific article; zbMATH DE number 3222127 (Why is no real title available?)
- scientific article; zbMATH DE number 3290336 (Why is no real title available?)
- Inductive Limits of Finite Dimensional C ∗ -Algebras
- Interpretation of AF C^*-algebras in Łukasiewicz sentential calculus
- Lattice-ordered groups
- On the classification of inductive limits of sequences of semisimple finite-dimensional algebras
- Polyadic MV-Algebras
- Present trends in pure mathematics
- Theorie der polyadischenMV-Algebren endlicher Ordnung
- Transformation groups and C^ *-algebras
- Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
- Satisfiability in many-valued sentential logic is NP-complete
- Priestley duality and quotient lattices of many-valued algebras
- Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
- Strict MV-algebras
- Algebraic structures in fuzzy logic
- Demiquantifiers on \(\ell \)-groups
- On the complexity of validity degrees in Łukasiewicz logic
- Proof theory for lattice-ordered groups
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
- Bézout domains with nonzero unit radical
- Meeting of the Association for Symbolic Logic, Campinas, Brazil, 1985
- Inverse topological systems and compactness in abstract model theory
- scientific article; zbMATH DE number 269313 (Why is no real title available?)
- Nilpotency and the Hamiltonian property for cancellative residuated lattices
- ALGEBRAIC EXPANSIONS OF LOGICS
- Rational Pavelka logic: the best among three worlds?
- Torsion factors of commutative monoid semirings
- The MaxSAT problem in the real-valued MV-algebra
- Additively idempotent matrix semirings
This page was built for publication: Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1066930)
