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

1 - 3 of 3 results for: "model theory"

PHIL 151: Metalogic (PHIL 251)

(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.
Terms: Win | Units: 4 | UG Reqs: GER:DB-Math, WAY-FR
Instructors: Icard, T. (PI)

PHIL 251: Metalogic (PHIL 151)

(Formerly 160A.) The syntax and semantics of sentential and first-order logic. Concepts of model theory. Gödel's completeness theorem and its consequences: the Löwenheim-Skolem theorem and the compactness theorem. Prerequisite: 150 or consent of instructor.
Terms: Win | Units: 4
Instructors: Icard, T. (PI)

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.
Last offered: Autumn 2008
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