1. Matteo Viale, Generic absoluteness theorem for the omega_1 Chang model conditioned to MM^{+++}. |

2. Paul Larson, A course on AD^+. |

1. Meeting Days: Tuesday |

2. Meeting Time: 15:00--16:30 |

3. Zoom Info: Join Zoom Meeting: https://us02web.zoom.us/j/82926074420?pwd=RTNjbTI1eEFjbU9WanZtY3BYYjlHUT09 Meeting ID: 829 2607 4420 Passcode: 998199 |

1. Sandra Mueller, Stationary-Tower-Free Proof of Woodin's Sealing Theorem. |

2. Matteo Viale, Generic absoluteness theorem for the omega_1 Chang model conditioned to MM^{+++}. |

Notes from Sandra's talk. |

1. Meeting Days: Tuesday |

2. Meeting Time: 15:00--16:30 |

3. Zoom Info: Join Zoom Meeting: https://us02web.zoom.us/j/82926074420?pwd=RTNjbTI1eEFjbU9WanZtY3BYYjlHUT09 Meeting ID: 829 2607 4420 Passcode: 998199 |

1. Finish the proof of Neeman's Handbook Article, Determinacy in L(R). |

2. Learn a new Stationary-Tower-Free Proof of Woodin's Sealing Theorem, which lifts the well-known absoluteness theorems for L(R) to the collection of the universally Baire sets. |

3. Learn about virtual models. |

1. Meeting Days: Friday |

2. Meeting Time: 15:30--17:00 |

3. Zoom Info: Join Zoom Meeting: https://us02web.zoom.us/j/88053998471?pwd=QTB0MHFha1NtZFlaeGxRY0RjcThPdz09 Meeting ID: 880 5399 8471 Passcode: 947882 |

Sargsyan will finish the remaining topics of Neeman's Determinacy of L(R)

Mueller will present a proof of Sealing from supercompacts and a class of Woodin cardinals using genericity iterations. The proof is due to Mueller, Wisclo and Sargsyan, and builds on the work of Sargsyan-Trang.