Series: Logic Seminar Speaker: Stephen Binns (Penn State, Mathematics) Title: The Effective Topos, continued Date: Tuesday, November 17, 1998 Time: 2:30 PM Place: 113 McAllister Building Abstract: This is the second in a series of two seminars. In the first seminar we introduced some concepts of category theory and topos theory. The second seminar will be a more indepth look at the Effective Topos - the category that characterises effective logic - discussed by Kleene using his concept of realisability.
Mathematical Logic at Penn State
Department of Mathematics