by Piotr Wojciechoski For a given cardinal number a, we construct a totally ordered MV-algebra M(a) having the property that every totally-ordered MV-algebra of cardinality at most a embeds into M(a). In case a = ℵ0 , the algebra M(a) Read more
“MV algebras from the point of view of o-minimality” Abstract: O-minimality is a model-theoretic concept for ordered structures that amountsto requiring definable sets over the domain to be a finite union of singletons and open intervals.In this very informal talk, Read more
Tommaso Flaminio of the Univeristy of Siena and Enrico Marchioni of the IIIA of Barcelona will be visiting our group during next week (15-18/06/09). News on seminars will follow soon.