Speaker: Toby Meadows<br> Title: What's so natural about generic extensions?<br> Date and time: Friday 22 May 2015, 16:00-17:30<br> Location: Room F1.15, Science Park 107, Amsterdam

<p>For abstracts and more information, see <a target="_blank" href= "http://www.illc.uva.nl/LoLa/DIP-Colloquium/" >http://www.illc.uva.nl/LoLa/DIP-Colloquium/</a>. </p>Speaker: Hugo Nobrega<br> Title: Games in Descriptive Set Theory, or: it's all fun and games until someone loses the axiom of choice<br> Date and time: Friday 22 May 2015, 18:00-19:00<br> Location: F1.15 ILLC seminar room Science Park 107, Amsterdam<br> Target group: MSc Logic and PhD students

<p>Descriptive set theory (DST) is the study of the definable sets of real numbers and similar topological spaces. One of DST's main driving questions is: What can we say about a set if all that we know is that it is definable with a certain complexity? For example, we know that if a set is the projection of a closed subset of the real plane then it cannot be a counterexample to the Continuum Hypothesis. On the other hand, the usual axioms of set theory don't determine whether the same can be said of all *complements* of such sets!<br/> One especially interesting space studied in DST is the Baire space, composed of the infinite sequences of natural numbers. The topology of this space has a certain computational-combinatorial flavor which makes many arguments more intuitive than in other spaces. Another nice aspect of this space is that it lends itself quite naturally to analysis by infinite games, which I hope to convince you of in this talk. <br/> I will start with a brief description of some games which have far-reaching consequences for set theory and the foundation of mathematics. The main focus of the talk will be the games which characterize interesting classes of functions in Baire space, where I will describe results by Wadge, Duparc, Andretta, Semmes, and (time permitting) yours truly. I will assume no prior knowledge other than some basic mathematics, such as the definition of a topology.</p> <p>For more information, see <a target="_blank" href= "http://www.illc.uva.nl/coollogic/" >http://www.illc.uva.nl/coollogic/</a> or contact <a href="#" onClick="window.location='mailto:coollogic.uva'+String.fromCharCode(64)+'gmail.com'; return false;" style="white-space: nowrap">coollogic.uva<img src="../images/at.gif" alt=" at " align="middle" border="0" hspace="0" vspace="0">gmail.com</A></p>Speaker: Paolo Galeazzi<br> Title: Play Without Regret: A Talk About Rationality<br> Date and time: Tuesday 26 May 2015, 17:00-18:00<br> Location: Room F1.15, Science Park 107, Amsterdam

<p>For more information, please visit the website <a target="_blank" href= "http://www.illc.uva.nl/logic_tea/" >http://www.illc.uva.nl/logic_tea/</a> or contact Thomas Brochhagen (<a href="#" onClick="window.location='mailto:t.s.brochhagen'+String.fromCharCode(64)+'uva.nl'; return false;" style="white-space: nowrap">t.s.brochhagen<img src="../images/at.gif" alt=" at " align="middle" border="0" hspace="0" vspace="0">uva.nl</A>), Johannes Marti (<a href="#" onClick="window.location='mailto:johannes.marti'+String.fromCharCode(64)+'gmail.com'; return false;" style="white-space: nowrap">johannes.marti<img src="../images/at.gif" alt=" at " align="middle" border="0" hspace="0" vspace="0">gmail.com</A>), Masa Mocnik (<a href="#" onClick="window.location='mailto:masa.mocnik'+String.fromCharCode(64)+'gmail.com'; return false;" style="white-space: nowrap">masa.mocnik<img src="../images/at.gif" alt=" at " align="middle" border="0" hspace="0" vspace="0">gmail.com</A>) or Julian Schloder (<a href="#" onClick="window.location='mailto:julian.schloeder'+String.fromCharCode(64)+'gmail.com'; return false;" style="white-space: nowrap">julian.schloeder<img src="../images/at.gif" alt=" at " align="middle" border="0" hspace="0" vspace="0">gmail.com</A>).</p> <p>Or see <a href="newsitem.php?id=6904">http://www.illc.uva.nl/NewsandEvents/newsitem.php?id=6904</a>.</p>Speaker: Giovanni Sartor, Radboud Winkels, Arthur Dyevre, Bart Karstens<br> Date and time: Wednesday 27 May 2015, 9:45-13:30<br> Location: Room M 3.02, Amsterdam Business School (Rec M), Plantage Muidergracht 12, Amsterdam

For more information, see <a target="_blank" href= "http://acle.uva.nl/events/content2/law-lectures/2015/05/acle-seminar-giovanni-sartor-european-university-institute-27-may-2014.html" >http://acle.uva.nl/events/content2/law-lectures/2015/05/</a> or contact <a href="#" onClick="window.location='mailto:b.karstens'+String.fromCharCode(64)+'uva.nl'; return false;" style="white-space: nowrap">b.karstens<img src="../images/at.gif" alt=" at " align="middle" border="0" hspace="0" vspace="0">uva.nl</A>.Speaker: Silvio Ghilardi (University of Milan)<br> Title: Stable canonical rules: bounded proofs, dichotomy property and admissible bases<br> Date and time: Wednesday 27 May 2015, 16:00-17:00<br> Location: Room F1.15, Science Park 107, Amsterdam

<p>For more information, see <a target="_blank" href= "http://www.illc.uva.nl/alg-coalg" >http://www.illc.uva.nl/alg-coalg</a> or contact Sumit Sourabh (<a href="#" onClick="window.location='mailto:S.Sourabh'+String.fromCharCode(64)+'uva.nl'; return false;" style="white-space: nowrap">S.Sourabh<img src="../images/at.gif" alt=" at " align="middle" border="0" hspace="0" vspace="0">uva.nl</A>).</p>Date and time: Thursday 28 May 2015, 13.00-17.30<br> Location: Room F1.15, Science Park 107, Amsterdam

<p>Speakers: Branden Fitelson, Eric Pacuit and Olivier Roy.</p> <p>For more information, see <a target="_blank" href= "http://www.illc.uva.nl/lgc/seminar" >http://www.illc.uva.nl/lgc/seminar</a> or <a target="_blank" href= "http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/" >http://www.illc.uva.nl/LoLa/LOGICiC-Seminar/</a>.</p>