2014-2015 2015-2016 2016-2017 2017-2018 2018-2019
Browse
by subject...
    Schedule
view...
 

1 - 1 of 1 results for: monster

PHIL 350A: Model Theory

Back-and-forth arguments with applications to completeness, quantifier-elimination and omega-categoricity. Elementary extensions and the monster model. Preservation theorems. Interpolation and definability theorems. Imaginaries. Prerequisite: Phil151A or consent of the instructor.
Terms: not given this year | Units: 3 | Grading: Letter or Credit/No Credit
Filter Results:
term offered
updating results...
number of units
updating results...
time offered
updating results...
days
updating results...
UG Requirements (GERs)
updating results...
component
updating results...
career
updating results...
© Stanford University | Terms of Use | Copyright Complaints