Past Logic Seminar

  I shall describe some joint work with Vladimir Remeslennikov and Ilia Kazachkov. Partially commutative groups are groups given by a presentation determined by a graph: vertices are generators and edges define commutation relations. Divisbility and orthogonal systems are tools developed to study these groups. Using them we have descriptions of centralisers of subsets, a good understanding of the centraliser lattice in terms of the underlying graph and have made good progress towards classifying the universal theory of these groups as well as their automorphism groups.

 

I'll include a rather short proof of this connectedness in a group of finite

Morley rank, but I'll maybe spend most of the time talking about related matter

without giving proofs.

 

  I will discuss Garside's representation of elements of the braid group in terms of "half- twists" and the corresponding solution to the Conjugacy Problem, originally posed by Artin. If time permits, I will discuss some geometric implications of this result.  

  I will discuss the proof that the exponential algebraic closure operator on the complex exponential field is isomorphic to the pregeometry which controls the "pseudoexponential" field.  

\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\chadzidakis

\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\taylor

\\Common\dfs\htdocs\www\maintainers\reception\enb\abstracts\logic\mt06\garkusha