SEMINAR: Groups and Combinatorics Seminar, Groups and firstorder logic


Groups and Combinatorics Seminar, Groups and firstorder logic 
Other events...

André Nies (University of Auckland)
will speak on
Groups and firstorder logic
at 3pm Friday January the 31st in Blakers Lecture Theatre.
Abstract :
We study the expressive power of firstorder logic for groups. A finitely generated group is called quasifinitely 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 quasifinitely 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 firstorder 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:
