Math Logic Seminar

  • Lubos Thoma

Amalgamation and Finite Models

Under which assumptions does a theory T have finite models? The famous Cherlin-Harrington-Lachlan theorem answers this question in the case of aleph_0-categorical aleph_0-stable theories. Let L^n(n
For More Information, Please Contact: 
Catherine Copetas, copetas@cs.cmu.edu