Seminars & Colloquia Calendar

Download as iCal file

Logic Seminar

"Homology groups for types in stable theories"

Date & time: Monday, 03 April 2017 at 5:00PM -


Alexei Kolesnikov , Towson University

"Homology groups for types in stable theories"

Time: 5:00 PM
Location: Hill 705
Abstract: (Joint work with John Goodrick and Byunghan Kim.)

This talk will discuss the study of the type amalgamation properties in first-order theories by means of certain homology groups of types. The main focus of the talk will be on the theorem saying that if a first-order theory T is stable and n is the smallest natural number such that the n-th homology group of a strong type p is non-trivial, then the n-th homology group of p is isomorphic to the automorphism group of a specific part of the algebraic closure of n independent realizations of p. A by-product of the analysis is the conclusion that the automorphism group must be abelian.

Special Note to All Travelers

Directions: map and driving directions. If you need information on public transportation, you may want to check the New Jersey Transit page.

Unfortunately, cancellations do occur from time to time. Feel free to call our department: 848-445-6969 before embarking on your journey. Thank you.