University Seminar: Logic Across Disciplines- Fraisse limits, ages, and computability

Title: Fraisse limits, ages, and computability
Speaker:  Valentina Harizanov, GWU
Date and Time:  Friday, February 1, 12:00-1:00PM
Place: Rome Hall (801 22nd Street), Room 771

Abstract:  Fraisse studied countable structures A through analysis of the age of A, the set of all finitely generated substructures of A. We will focus on Fraisse limits and other structures with similar automorphism extension properties, and present some recent results concerning their computability-theoretic properties.