Logic Seminar
Lynn Scow
UIC
A survey of a recent paper on TP1
Abstract: Shelah proved that any theory with the tree property has either TP1 or TP2.
I will survey some of the results from a recent paper by Professor Byunghan Kim and his student
Hyeung-Joon Kim, in which further properties around TP1 are explored. In fact, TP1 is equivalent to SOP2
for a theory, and so this work contributes to the effort to address the problem of whether SOP2 is a
distinct property from SOP1. In their paper, the authors furthermore develop a generalization of the
tree-indiscernibility first introduced in Dzamonja and Shelah's 2004 paper.
Please join us for a tea in SEO300 from 2:30-3:00pm.
Tuesday January 25, 2011 at 3:00 PM in SEO 612