printer friendly pageMATH 292A: Set Theory (PHIL 352A)
The basics of axiomatic set theory; the systems of Zermelo-Fraenkel and Bernays-Gödel. Topics: cardinal and ordinal numbers, the cumulative hierarchy and the role of the axiom of choice. Models of set theory, including the constructible sets and models constructed by the method of forcing. Consistency and independence results for the axiom of choice, the continuum hypothesis, and other unsettled mathematical and set-theoretical problems. Prerequisites: PHIL151 and
MATH 161, or equivalents.
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
PHIL 151A: Recursion Theory (PHIL 251A)
Computable functions, Turing degrees, generalized computability and definability. "What does it mean for a function from the natural numbers to themselves to be computable?" and "How can noncomputable functions be classified into a hierarchy based on their level of noncomputability?". Theory of relative computability, reducibility notions and degree structures. Prerequisite is
PHIL 150, or
PHIL 151 or
CS 103.
Last offered: Winter 2013
| UG Reqs: GER:DB-Math, WAY-FR
PHIL 352A: Set Theory (MATH 292A)
The basics of axiomatic set theory; the systems of Zermelo-Fraenkel and Bernays-Gödel. Topics: cardinal and ordinal numbers, the cumulative hierarchy and the role of the axiom of choice. Models of set theory, including the constructible sets and models constructed by the method of forcing. Consistency and independence results for the axiom of choice, the continuum hypothesis, and other unsettled mathematical and set-theoretical problems. Prerequisites: PHIL151 and
MATH 161, or equivalents.
Filter Results: