# Research in Mathematical Logic

### 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.

## Courses

### Undergraduate upper division courses

**Math 125A.** Mathematical logic.

**Math 135.** Set theory.

**Math 136.** Incompleteness and Undecidability.

### Graduate courses

**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.

## Seminars

### 2009-2010

**Math 290**. Recursion Theory, *Leo Harrington and Theodore Slaman*

**Math 290**. Model Theory, *Tom Scanlon*

**Math 290**. Inner Model Theory, *John Steel*

## Senate Faculty

Name | Title | Research Interests |
---|---|---|

John W. Addison Jr. | Professor Emeritus | Theory of definability, Descriptive set theory, Model theory, Recursive function theory |

Leo Anthony Harrington | Professor Emeritus | Recursion theory, Model theory, Set theory |

Ralph McKenzie | Professor Emeritus | General algebra, Logic |

Antonio Montalbán | Professor | Mathematical logic, computability theory |

Thomas Scanlon | Professor | Model theory and applications to number theory |

Pierre Simon | Assistant Professor | Model theory |

Theodore A. Slaman | Professor | Recursion theory, mathematical logic |

Robert M. Solovay | Professor Emeritus | Mathematical Logic |

John R. Steel | Professor Emeritus | Set theory, Descriptive set theory, Fine structure |

W. Hugh Woodin | Professor Emeritus | Set theory, Large cardinals, Mathematical logic |

## Visiting Faculty

Name | Title | Research Interests |
---|---|---|

Martin Davis | Visitor | Logic, diophantine decision problems |

Sebastian Eterović | Visiting Assistant Professor | Arithmetic geometry, model theory |

C. Ward Henson | Visitor | Continuous logic and model theory of metric structures; nonstandard analysis |

Dana Scott | Visitor | Foundations of logic and mathematics, semantics of programming languages |

Carol Wood | Visitor | Model theory and its interactions with algebra and combinatorics |

## Postdocs

Name | Title | Research Interests |
---|---|---|

Gabriel Goldberg | NSF Postdoctoral Fellow | Set theory, large cardinals, inner model theory, infinite combinatorics |

## Faculty with Related Research Interests

Name | Title | Research Interests |
---|---|---|

George M. Bergman | Professor Emeritus, Professor of the Graduate School | Associative rings, Universal algebra and category theory, Counterexamples |

## Graduate Students

Name | Dissertation Supervisor |
---|---|

Reid RG Dale | Thomas Scanlon, Wesley Holliday |

Daniel Fremont | |

Patrick Lutz | Ted Slaman |

Guillaume Massas | |

Matthew McCauley | |

James Gardner Moody | |

Mariana Vicaria | Thomas Scanlon, Pierre Simon |

James Walsh | Antonio Montalbán |

Kentarô Yamamoto |

## Recent Ph.D.s

Name | Dissertation Title | Dissertation Supervisor | Year |
---|---|---|---|

Alexander Kocurek | What Can You Say? Measuring the Expressive Power of Languages | Wesley Holliday, Seth Yalcin | 2018 |

Nick Ramsey | Independence, Amalgamation, and Trees | Tom Scanlon | 2018 |

Matthew Harrison-Trainor | The Complexity of Countable Structures | Antonio Montalbán | 2017 |

Michael Wan | Towards a model theory of almost complex manifolds | Thomas Scanlon | 2017 |

Will Johnson | Fun with Fields | 2016 | |

Alex Kruckman | Infinitary Limits of Finite Structures | Thomas Scanlon | 2016 |

Lawrence Valby | 2015 | ||

Kelty Allen | Martin-Löf Randomness and Brownian Motion | Theodore A. Slaman | 2014 |

Ian R. Haken | Randomizing Reals and the First-Order Consequences of Randoms | Theodore A. Slaman | 2014 |

Gwyneth Harrison-Shermoen | Independence Relations in Theories with the Tree Property | Thomas Scanlon | 2014 |

Arthur Tilley | Thomas Scanlon | 2014 | |

Linda Westrick | Computability in Ordinal Ranks and Symbolic Dynamics | Theodore A. Slaman | 2014 |