Lynn Scow : A survey of a recent paper on TP1

Posted by , part of the Logic Seminar.

At

Jan. 25, 2011, 3 p.m.

In

SEO 612

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.