Including model theory, recursion theory, and set theory
We have a large active group of researchers in several core areas of
mathematical logic, including model theory, recursion theory and set
theory. A number of members of the logic group belong to the Group in Logic and Methodology of Science, which runs a bi-weekly colloquium and has its own graduate students.
Undergraduate upper division courses
Math 125A. Mathematical logic.
Math 135. Set theory.
Math 136. Incompleteness and Undecidability.
Math 225A-225B. Metamathematics.
Math 227A. Theory of recursive functions.
Math 229. Theory of models.
Math 235A. Theory of sets.
Math 236. Metamathematics of Set Theory.
Math 290. Recursion Theory, Leo Harrington and Theodore Slaman
Math 290. Model Theory, Tom Scanlon
Math 290. Inner Model Theory, John Steel