All posts by admin

standardpart

Graduate & Undergraduate programs in mathematical 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.

The local logic seminar is meeting weekly in-person in Fall 2021 after being on pandemic hiatus during the academic year Fall 2020 – Spring 2021.

See also: the international online seminar Computability Theory and Applications.

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 Kjos-Hanssen
Spring 2019 MATH 655 Set theory Williams
Spring 2020 MATH 657 Computability and Complexity Kjos-Hanssen
Fall 2020 MATH 654 Graduate Introduction to Logic Kjos-Hanssen
Spring 2021 MATH 649 Applied model theory Ross

Future offerings:

Semester Course number Course title Instructor
Spring 2022 MATH 657 Computability and Complexity Kjos-Hanssen
Fall 2022 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 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 2019 MATH 454 Axiomatic Set Theory Williams
Spring 2020 MATH 455 Mathematical Logic Williams
Fall 2021 MATH 454 Axiomatic Set Theory Kjos-Hanssen

Future offerings:

Semester Course number Course title Instructor
Spring 2022 MATH 455 Mathematical Logic Ross

Faculty teaching in the program

David A. Ross, Professor
Bjørn Kjos-Hanssen, Professor

Screen Shot 2021-09-28 at 3.03.24 PM

Undergraduate math research

Here are some of our faculty members and their work providing undergrads with research experiences.
  • Monique Chyba has been working with undergraduates for many years, on drones, Covid, etc.
  • Daisuke Takagi has been working with undergraduates and plans to continue
  • Bjørn Kjos-Hanssen worked with undergraduate researchers sponsored by UROP (summer 2019) and sponsored by Decision Research Corporation (summer 2020,2021,2022)
  • Malik Younsi worked with an undergraduate researcher sponsored by UROP (summer 2019)
allx4-03-b

Manes editor-in-chief of La Matematica

Professor Michelle Manes has been appointed as one of the Editors-in-Chief of La Matematica, the new journal of the Association for Women in Mathematics.

The Editors-in-Chief are Donatella Danielli (Arizona State), Kathryn Leonard (Occidental College), Michelle Manes, and Ami Radunskaya (Pomona College).

Manes is specifically the Editor-in-Chief for the journal’s section on Algebra and Geometry including Number Theory, Algebraic Combinatorics, Topology, and Related Fields.

In addition, Associate Professor Elizabeth Gross is one of the 62 Associate Editors of La Matematica, and one of 11 Associate Editors in the journal’s section for Mathematical Modeling, Dynamical Systems, Numerical Analysis, and Related Fields.

Full story at UH News.