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.