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 power; equidecomposability types; Cantor-Bernstein property; full type space; multiplicative cancellation property

Mathematics Subject Classification ID

20M14: Commutative semigroups

03B25: Decidability of theories and sets of sentences

06F05: Ordered semigroups and monoids

08C10: Axiomatic model classes

03C20: Ultraproducts and related constructions

06F20: Ordered abelian groups, Riesz groups, ordered linear spaces

03C10: Quantifier elimination, model completeness, and related topics

Related Items

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