Logic

Date:  Thursday, March 14, 2013
Location:  2866 East Hall (4:00 PM to 5:30 PM)

Title:  Fusion in Sacks Forcing

Abstract:   Fusion is a technique that comes up when dealing with certain kinds of forcings. The basic idea is that we want infinitely many statements to hold in a forcing extension simultaneously, so if we delicately pick forcing conditions which force each these statements, we can "fuse" the conditions together into a single one, which witnesses all of the statements holding in a single extension. This technique is used in Sacks forcing, which is what the talk will be about. Recall that this forcing is the set of all perfect trees on the natural numbers ordered by inclusion. I will present some arguments that use fusion, including a proof that Sacks forcing has "continuous readings of names".


Speaker:  Daniel Hathaway
Institution:  Univ. of Michigan

Event Organizer:   Andreas Blass    ablass@umich.edu

 

Edit this event (login required).
Add new event (login required).
For access requests and instructions, contact math-webmaster@umich.edu

Back to previous page
Back to UM Math seminars/events page.

   

Department of Mathematics   |   2074 East Hall   |  530 Church Street  
Ann Arbor, MI 48109-1043
Phone: 734.764-0335   |   Fax: 734.763-0937

The page last modified Tuesday, 02-Oct-2012 14:00:35 EDT
Site errors should be directed to math-webmaster@umich.edu