Recent and upcoming talks by Will Boney

Large Cardinals and Strong Logics: September 5 through December 16

Dear colleague, We would like to inform you about the forthcoming CRM Intensive Research Program on Large Cardinals and Strong Logics, to be held from September 5 to December 16, 2016. continue reading…

Will Boney: Large Cardinal Axioms from Tameness in AECs

Date: Monday, March 23, 2015 Time: 5:00 – 6:30 PMLocation: Wean 8220 Model Theory Seminar   Will Boney,  UIC Title:   Large Cardinal Axioms from Tameness in AECs. Abstract:   It was recently shown that various locality properties for Galois types hold globally in the presence of large cardinals.  continue reading…

Will Boney: Frames and Tameness in Abstract Elementary Classes

Mathematical logic seminar – October 7, 2014 Time:     12:30 – 13:30 Room:     Wean Hall 8220 Speaker:         Will Boney Department of Mathematics UIC Title:     Frames and Tameness in Abstract Elementary Classes Abstract: Frames are an axiomatic independence notion in a single cardinal for AECs developed by Shelah, and tameness is a locality notion for types isolated by Grossberg and VanDieren. continue reading…

Will Boney: Some Model Theory of Torsion Modules

Model Theory Seminar   Will Boney   University of Illinois at Chicago Title:   Some Model Theory of Torsion Modules Abstract:   We explore some model theory of torsion modules, first over commutative rings and then specializing to PIDs.  continue reading…

Will Boney: Computing the Number of Types of Infinite Length, Part 1

Model Theory Seminar   Will Boney   Carnegie Mellon University Title:  Computing the Number of Types of Infinite Length, Part 1. Abstract:  Roughly, the type of an element over a given domain is the best description of the element possible using formulas from the language and parameters from the domain.   continue reading…

Will Boney: Forking in Abstract Elementary Classes, Part 4

MONDAY, April 29, 2013 MODEL THEORY SEMINAR: 5:00 P.M., WeH 8220, Will Boney, Carnegie Mellon University TITLE: Forking in Abstract Elementary Classes, Part 4. ABSTRACT: In this series, we detail joint work with Rami Grossberg to develop a forking-like relation over models, for Abstract Elementary Classes under mild assumptions (stability, tameness, type-shortness, and existence). continue reading…

Will Boney: Forking in Abstract Elementary Classes, Part 1

MONDAY, April 1, 2013 MODEL THEORY SEMINAR: 5:00 P.M., WeH 8220, Will Boney, Carnegie Mellon University TITLE: Forking in Abstract Elementary Classes, Part 1. ABSTRACT: In this series, we detail joint work with Rami Grossberg to develop an a forking-like relation over models, for Abstract Elementary Classes under mild assumptions (stability, tameness, type-shortness, and existence). continue reading…

New York Graduate Student Logic Conference, April 18-19, 2013

We are pleased to announce the fourth New York Graduate Student Logic Conference will be held Thursday and Friday, April 18-19, 2013, at the CUNY Graduate Center located in midtown Manhattan. continue reading…

4th European Set Theory Conference, July 15 – 18, 2013

The 4th European Set Theory Conference will be held in Mon St Benet, near Barcelona, on 15-18 July 2013. Mostowski lecture: Adam Krawczyk (Warsaw): Andrzej Mostowski Centenary. Hausdorff Medal lecture: Hugh Woodin Tutorials: Moti Gitik (Tel Aviv): Forcing and cardinal arithmetic Plenary lectures: Laura Fontanella Menachem Magidor Michael Rathjen John Steel Philip Welch Invited lectures: Alessandro Andretta: The density point property. continue reading…

2013 North American Annual ASL Meeting, May 8 – 11, 2013

2013 ASL North American Annual Meeting Waterloo, Ontario, Canada May 8–May 11, 2013 The invited speakers include: U. Andrews, M. Aschenbrenner, R. Blute, D. Kerr, C. McLarty, D. Sinapova, T. Slaman, M. continue reading…