For more information about this meeting, contact Stephen Simpson.
| Title: | Automatic structures |
|---|
| Seminar: | Logic Seminar |
|---|
| Speaker: | Bakh Khoussainov, Cornell University and University of Auckland |
|---|
| Abstract: |
|---|
| In this talk we introduce the concept of automatic structure,
give examples, and prove some of the basic theorems about
them. We provide results of positive character. For example,
we explain why the isomorphism problems for automatic
well-ordered sets and Boolean algebras are decidable. We also
give examples of negative character. For example, we explain as
to why the isomorphism problem for automatic structures is
Sigma_1^1-complete. Time permitting, we outline some
techniques of proving non-automaticity through the use of
advanced group theory and additive combinatorics results. |
Room Reservation Information
| Room Number: | MB114 |
|---|
| Date: | 10 / 07 / 2009 |
|---|
| Time: | 03:30pm - 05:00pm |
|---|
