John C. “Curlee” Robertson and Maureen Kearns received our annual award for excellent teaching by graduate students.

# Category Archives: Graduate news

# Graduate Program in Logic

The Department of Mathematics at University of Hawaii at Manoa has long had an informal graduate program in logic, lattice theory, and universal algebra (People, Courses, Description) going back to Alfred Tarski’s 1963 student William Hanf.

We are offering the following course rotation (courses mostly repeating after two years):

## Past offerings

Semester | Course number | Course title | Instructor |
---|---|---|---|

Spring 2016 | MATH 649 | Applied Model Theory | Ross |

Fall 2016 | MATH 654 | Graduate Introduction to Logic | Beros |

Spring 2017 | MATH 657 | Computability and Complexity | Khan |

Fall 2017 | course break | - | - |

Spring 2018 | MATH 649 | Applied Model Theory | Ross |

Future offerings:

Semester | Course number | Course title | Instructor |
---|---|---|---|

Fall 2018 | MATH 654 | Graduate Introduction to Logic | Kjos-Hanssen |

Spring 2019 | MATH 655 | Set theory | Williams |

Fall 2019 | course break | - | - |

Spring 2020 | MATH 657 | Computability and Complexity | Kjos-Hanssen |

Fall 2020 | MATH 654 | Graduate Introduction to Logic | TBA |

Spring 2021 | MATH 649 | Applied model theory | Ross |

It is also recommended that students familiarize themselves with undergraduate level logic, which is offered on the following schedule:

## Past offerings

Semester | Course number | Course title | Instructor |
---|---|---|---|

Fall 2012 | MATH 454 | Axiomatic Set Theory | Kjos-Hanssen |

Spring 2013 | MATH 455 | Mathematical Logic | Kjos-Hanssen |

Fall 2014 | MATH 454 | Axiomatic Set Theory | Ross |

Spring 2015 | MATH 455 | Mathematical Logic | Khan |

Spring 2016 | MATH 454 | Axiomatic Set Theory | Khan |

Spring 2017 | MATH 455 | Mathematical Logic | Ross |

Spring 2018 | MATH 455 | Mathematical Logic | Khan |

Potential future offerings:

Semester | Course number | Course title | Instructor |
---|---|---|---|

Spring 2019 | MATH 455 | Mathematical Logic | TBA |

Fall 2019 | MATH 454 | Axiomatic Set Theory | TBA |

#### Faculty teaching in the program

David A. Ross, Professor

Bjørn Kjos-Hanssen, Professor

Achilles Beros, Temporary Assistant Professor 2015-2019

Kameryn Williams, Temporary Assistant Professor 2018–2019

# Marriott’s doctoral defense

John Marriott, a student of Prof. Monique Chyba, will defend his doctoral dissertation on September 5.

#### Abstract

This work addresses the contrast problem in nuclear magnetic resonance as a Mayer problem in

optimal control. This is a problem motivated by improving the visible contrast in magnetic resonance

imaging, in which the magnetization of the nuclei of the substances imaged are first prepared by

being set to a particular configuration by an external magnetic field, the control. In particular we

examine the contrast problem by saturation, wherein the magnetization of the first substance is

set to zero. This system is modeled by a pair of Bloch equations representing the evolution of the

magnetization vectors of the nuclei of two different substances, both influenced by the same control

field.

More…