Pages that link to "Item:Q1111584"
From MaRDI portal
The following pages link to Free products in the category of Abelian \(\ell\)-groups with strong unit (Q1111584):
Displaying 33 items.
- Leibniz interpolation properties (Q393904) (← links)
- Completeness with respect to a chain and universal models in fuzzy logic (Q627436) (← links)
- Revisiting the Farey AF algebra (Q653928) (← links)
- Amalgamation through quantifier elimination for varieties of commutative residuated lattices (Q661293) (← links)
- A common generalization for MV-algebras and Łukasiewicz-Moisil algebras (Q862349) (← links)
- Gödel spaces and perfect MV-algebras (Q898780) (← links)
- Free products of unital \(\ell \)-groups and free products of generalized MV-algebras (Q976749) (← links)
- Projective MV-algebras and rational polyhedra (Q976753) (← links)
- Recognizing the Farey-Stern-Brocot AF algebra (Q1039874) (← links)
- Tensor products and the Loomis-Sikorski theorem for MV-algebras (Q1291066) (← links)
- Logic of infinite quantum systems (Q1325668) (← links)
- Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups (Q1337605) (← links)
- Geometrical methods in Wajsberg hoops (Q1858223) (← links)
- Free products in the category of \(A\)-groups over a ring \(A\). (Q1948493) (← links)
- Bounded Boolean powers and free product of GMV-algebras (Q1959215) (← links)
- One chain generated varieties of MV-algebras (Q1972417) (← links)
- The two-sorted algebraic theory of states, and the universal states of MV-algebras (Q2040522) (← links)
- Hyperarchimedean coproducts. (Q2249405) (← links)
- Amalgamation and interpolation in ordered algebras. (Q2253035) (← links)
- Geometry of Robinson consistency in Łukasiewicz logic (Q2370369) (← links)
- Cyclic elements and subalgebras of GMV-algebras (Q2380336) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- Amalgamation property for varieties of BL-algebras generated by one chain with finitely many components (Q2695340) (← links)
- New torsion theory in unital abelian ℓ-groups (Q3016463) (← links)
- Generic substitutions (Q3370754) (← links)
- A note on infinitary continuous logic (Q3460523) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Perfect GMV-Algebras (Q3510084) (← links)
- (Q4325556) (← links)
- Varieties of MV-algebras (Q4443424) (← links)
- Adding structure to MV-algebras (Q5954118) (← links)
- Separable MV-algebras and lattice-ordered groups (Q6196134) (← links)
- Spectral MV-algebras and equispectrality (Q6617174) (← links)
