Free products in the category of Abelian \(\ell\)-groups with strong unit

From MaRDI portal
Publication:1111584

DOI10.1016/0021-8693(88)90185-8zbMath0658.06010OpenAlexW2085490928MaRDI QIDQ1111584

Daniele Mundici

Publication date: 1988

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0021-8693(88)90185-8



Related Items

Logic of infinite quantum systems, Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups, Geometry of Robinson consistency in Łukasiewicz logic, Cyclic elements and subalgebras of GMV-algebras, A note on infinitary continuous logic, A common generalization for MV-algebras and Łukasiewicz-Moisil algebras, European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988, Leibniz interpolation properties, Gödel spaces and perfect MV-algebras, Completeness with respect to a chain and universal models in fuzzy logic, Perfect GMV-Algebras, Separable MV-algebras and lattice-ordered groups, Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components, Bounded Boolean powers and free product of GMV-algebras, Revisiting the Farey AF algebra, Amalgamation through quantifier elimination for varieties of commutative residuated lattices, One chain generated varieties of MV-algebras, New torsion theory in unital abelian ℓ-groups, Hyperarchimedean coproducts., Amalgamation and interpolation in ordered algebras., Free products of unital \(\ell \)-groups and free products of generalized MV-algebras, Projective MV-algebras and rational polyhedra, Interpolation and Beth's property in propositional many-valued logics: a semantic investigation, Adding structure to MV-algebras, The two-sorted algebraic theory of states, and the universal states of MV-algebras, Generic substitutions, Varieties of MV-algebras, Recognizing the Farey-Stern-Brocot AF algebra, Tensor products and the Loomis-Sikorski theorem for MV-algebras, Geometrical methods in Wajsberg hoops



Cites Work