EdusalsaDiscover Your Stanford


Model Theory

  • Not Offered

3 units

Letter or Credit/No Credit

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.

Course Prequisites

Sign Up

To save PHIL 350A to your course bucketlist

Already Have An Account? Log In