Tag Archives: featured

standardpart

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
Fall 2018 MATH 654 Graduate Introduction to Logic Kjos-Hanssen
Spring 2019 MATH 655 Set theory Williams

Future offerings:

Semester Course number Course title Instructor
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
Fall 2019 MATH 454 Axiomatic Set Theory TBA

Faculty teaching in the program

David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor
Kameryn Williams, Temporary Assistant Professor 2018–2021

20190322_095354

Joint Sectional meeting

We hosted a joint sectional meeting of the Western and Central sections of the AMS in March, 2019. (This followed our Western sectional meeting in 2012, meeting #1078.)

More info from AMS:

March 22-24, 2019 (Friday – Sunday) University of Hawaii at Manoa, Honolulu, HI (Spring Central and Western Joint Sectional Meeting)

Meeting # 1147, Abstract Issue: 40/2

Deadlines    Program       Satellite Events or Special Events or Lectures