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 repeating after two years):
| Semester | Course number | Course title | Instructor |
|---|---|---|---|
| Fall 2015 | MATH 649B | Graduate Seminar | Kjos-Hanssen |
| 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 | - | - | - |
| Spring 2018 | MATH 649 | Applied Model Theory | Ross |
| Fall 2018 | MATH 654 | Graduate Introduction to Logic | Kjos-Hanssen |
| Spring 2019 | MATH 657 | Computability and Complexity | Kjos-Hanssen |
| Fall 2019 | - | - | - |
It is also recommended that students familiarize themselves with undergraduate level logic, which is offered on the following schedule:
| 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 |
| Fall 2018 | MATH 454 | Axiomatic Set Theory | Ross |
| Spring 2019 | MATH 455 | Mathematical Logic | Ross |
| Fall 2019 | MATH 454 | Axiomatic Set Theory |
Faculty teaching in the program
David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor
Mushfeq Khan, Temporary Assistant Professor 2014-2018
Achilles Beros, Temporary Assistant Professor 2015-2018