SEMINAR: Groups and Combinatorics Seminar, Groups and first-order logic
|
|
Groups and Combinatorics Seminar, Groups and first-order logic |
Other events...
|
André Nies (University of Auckland)
will speak on
Groups and first-order logic
at 3pm Friday January the 31st in Blakers Lecture Theatre.
Abstract :
We study the expressive power of first-order logic for groups. A finitely generated group is called quasi-finitely axiomatizable if a single sentence characterizes it within the class of finitely generated groups. I showed in 2005 that, for instance, the Heisenberg group is quasi-finitely axiomatizable. Recent work of Lasserre provides new examples, such as the Thompson groups.
A group is homogeneous if the orbit of every tuple under the action of automorphisms is described by its first-order properties. I proved (J. Algebra, 2003) that the free group F_2 has this property. Recent work of Perrin and Sklinos (Duke Math. J. 2013) extends this to F_n for larger n.
Speaker(s) |
Andr� Nies
|
Location |
Blakers Lecture Theatre G.18
|
|
Contact |
Irene Pivotto
<[email protected]>
|
Start |
Fri, 31 Jan 2014 15:00
|
End |
Fri, 31 Jan 2014 16:00
|
Submitted by |
Irene Pivotto <[email protected]>
|
Last Updated |
Tue, 28 Jan 2014 11:50
|
Included in the following Calendars: |
|
- Locations of venues on the Crawley and Nedlands campuses are
available via the Campus Maps website.
- Download this event as:
Text |
iCalendar
-
Mail this event:
|