Class Id: 9519
Days: M
Start Time: 01:30 PM
End Time: 04:20 PM
Building: MARXH
Room: 201
Course Id: 4253
Departments and Numbers: PHI 520
Area:
Title: Logic: First-Order Categorical Logic
Description: An examination of first order categorical logic, i.e., first order logic from the "topos theoretic" point of view. Course to develop the tools to understand and assess Makkai's duality theory between first order theories and their categories of models.
Prerequisites:
Professors: Hans P. Halvorson
Click here to do another class search
Created by Bob Dondero.