The Universal Theory of Ordered Equidecomposability Types Semigroups

DOI10.4153/CJM-1994-062-3zbMath0810.06014MaRDI QIDQ4313917

Friedrich Wehrung

Publication date: 5 April 1995

Published in: Canadian Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

reduced powerequidecomposability typesCantor-Bernstein propertyfull type spacemultiplicative cancellation property

Mathematics Subject Classification ID

Commutative semigroups (20M14) Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Axiomatic model classes (08C10) Ultraproducts and related constructions (03C20) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (4)

Simple Riesz groups of rank one having wild intervals ⋮ Monoids of Intervals of Simple Refinement Monoids and Non-stable K-Theory of Multiplier Algebras ⋮ Orders of absolute measurability ⋮ Decomposition of strongly separative monoids

This page was built for publication: The Universal Theory of Ordered Equidecomposability Types Semigroups