PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

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