Invitation to a Seminar Talk at the National University of Singapore
Date: Monday 23 September 2013, 17:00 hrs
Room: S17#04-06, Department of Mathematics, NUS
Speaker: Wong Tin Lok, Kurt Goedel Research Center at the University of Vienna
Title: The various faces of generic cuts
Abstract: Generic objects are important in many areas of mathematical logic.
Some examples are Cohen generics, Martin-Loef randoms and
existentially closed models. Notions of genericity often turn out to
be very robust. In the talk, I will demonstrate the robustness of
genericity in the context of cuts of nonstandard models of arithmetic.