Wong Tin Lok: The various faces of generic cuts

Wednesday, September 25, 2013, 17:00
S17-04-05

Speaker: Wong Tin Lok (Kurt Goedel Research Center, 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-Lof
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.

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.