Logic Seminar
|
Fri, 27/04/2007 15:15 |
Jeffrey Burdges (Manchester) |
Logic Seminar  |
L3 |
| 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. | |||
|
Fri, 04/05/2007 15:15 |
Andrew Duncan (Newcastle) |
Logic Seminar |
L3 |
| 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. | |||
|
Fri, 11/05/2007 15:15 |
Logic Seminar |
L3 | |
|
Fri, 18/05/2007 15:15 |
Ivan Tomasic (QMUL) |
Logic Seminar |
L3 |
|
Fri, 25/05/2007 15:15 |
Ali Enayat (Utrecht and Washington) |
Logic Seminar |
L3 |
|
Fri, 01/06/2007 15:15 |
David Marker (University of Illinois, Chicago) |
Logic Seminar |
L3 |
| Countable Borel equivalence relations arise naturally as orbit equivalence relations for countable groups. For each countable Borel equivalence relation E there is an infinitary sentence such that E is equivalent to the isomorphism relation on countable models of that sentence. For first order theories the question is open. | |||
|
Fri, 08/06/2007 15:15 |
Logic Seminar |
L3 | |
|
Fri, 15/06/2007 15:15 |
Alf Onshuus (Los Andes, Bogata) |
Logic Seminar |
L3 |
