Go to Main Content

MyUH Online Services


Detailed Course Information

 

Fall 2022
Feb 12, 2025
Transparent Image
Colored Schedule Types link to scheduled sections of the course for the term at this institution. If all Schedule Types are listed in black text, the course is not scheduled for the term.

MATH 654 - Introduction to Logic - University of Hawaii at Manoa
Model theory, computability theory, set theory. In particular syntax and semantics of first order logic; incompleteness, completeness, and compactness theorems; Loewenheim-Skolem theorems; computable and computably enumerable sets; axioms of set theory; ordinals and cardinals. Graduate students only.
3.000 Credit hours
45.000 Lecture hours

Schedule Types: Lecture

Math Department

Restrictions:
May not be enrolled in one of the following Programs:     
      Summer Only-Undergrad-ND
      Summer Only-Post Bacc-ND
May not be enrolled in one of the following Degrees:     
      Non Degree
Must be enrolled in one of the following Campuses:     
      University of Hawaii at Manoa

Return to Previous
Transparent Image
Skip to top of page
Release: UH:8.7.2.4:2
University of Hawai'i