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.