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) is the first known MV-algebra with respect to which the 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, we will discuss how applying this concept to classes of 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.