Logic Seminar Spring 2020

The logic seminar for Spring 2020 will be held Fridays at 2:30–3:20pm, room TBA.
The logic seminar for Fall 2019 was held Wednesdays at 2:30–3:20pm in Keller 314.

If you are interested in the seminar, please let Kameryn Williams know to be added to the mailing list.

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: