Series: Penn State Logic Seminar

Date: Tuesday, October 19, 2004

Time: 2:30 - 3:45 PM

Place: 307 Boucke Building

Speaker: John Clemens, Penn State, Mathematics

Title: Fraisse Limits and Zero-One Laws

Abstract:

  A Fraisse limit is a countable structure obtained as a certain type
  of limit of finite structures. Such structures have many nice
  properties which I will discuss. In particular, they often satisfy a
  zero-one law: The theory of the structure is obtained as a limit of
  the theories of the finite structures used to construct it.