UWA Logo What's On at UWA
   UWA HomeProspective Students  | Current Students  | Staff  | Alumni  | Visitors  | About  |     Search UWA    for      

SEMINAR: Groups and Combinatorics Seminar, Groups and first-order logic

* Login to add events... *
Today's date is Tuesday, March 02, 2021
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:
Additional Information:
  • 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:

Top of Page
© 2001-2010  The University of Western Australia
Questions? Mail [email protected]