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.
During 20222023 the logic seminar had talks by outside speakers from Chiba, Yamaguchi, Wisconsin, and Belgrade.
We are offering the following course rotation (courses mostly repeating after two years):
Graduate courses
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 




Spring 2018 
MATH 649 
Applied Model Theory 
Ross 
Fall 2018 
MATH 654 
Graduate Introduction to Logic 
KjosHanssen 
Spring 2019 
MATH 655 
Set theory 
Williams 




Spring 2020 
MATH 657 
Computability and Complexity 
KjosHanssen 
Fall 2020 
MATH 654 
Graduate Introduction to Logic 
KjosHanssen 
Spring 2021 
MATH 649 
Applied model theory 
Ross 




Spring 2022 
MATH 657 
Computability and Complexity 
KjosHanssen 
Fall 2022 
MATH 654 
Graduate Introduction to Logic 
KjosHanssen 
Spring 2023 
MATH 649B 
Applied model theory 
Ross 
Future offerings:
Semester 
Course number 
Course title 
Instructor 




Spring 2024 
MATH 657 
Computability and Complexity 
KjosHanssen 
Fall 2024 
MATH 654 
Graduate Introduction to Logic 
TBA 
It is also recommended that students familiarize themselves with undergraduate level logic, which is offered on the following schedule:
Undergraduate courses
Past offerings
Semester 
Course number 
Course title 
Instructor 
Fall 2012 
MATH 454 
Axiomatic Set Theory 
KjosHanssen 
Spring 2013 
MATH 455 
Mathematical Logic 
KjosHanssen 
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 2019 
MATH 454 
Axiomatic Set Theory 
Williams 
Spring 2020 
MATH 455 
Mathematical Logic 
Williams 
Fall 2021 
MATH 454 
Axiomatic Set Theory 
KjosHanssen 
Spring 2022 
MATH 455 
Mathematical Logic 
Ross 
Future offerings:
Semester 
Course number 
Course title 
Instructor 
Fall 2023 
MATH 455 
Mathematical Logic 
KjosHanssen 
Faculty teaching in the program
David A. Ross, Professor
Bjørn KjosHanssen, Professor