Dept Banner
Dept Banner

Course Descriptions

16:640:569 - Selected Topics in Logic

Grigor Sargsyan

Subtitle:

Introduction to Logic

 

Course Description:

This is a basic logic course covering topics from recursion theory, model theory and set theory. The following is the list of topics that we will cover.

1. compactness theorem and incompleteness theorem (0-1 laws and etc).
2. Back and fourth arguments (uniqueness of countable dense orders)
3. quantifier elimination and applications to algebra (Hilberts Nullstelenzats and etc)
4. Godel's constructible universe (Consistency of Axiom of Choice and Continuum Hypothesis relative to ZF)
5. Cohen's forcing (Consistency of negation of CH relative to ZFC)

Students interested in doing research in logic who have not yet passed their qualifying exam must take this course. Students interested in other areas of mathematics will profit from this course as well, as basic methods developed by logicians have found applications in many areas of mathematics, and this course will be an introduction to some of these methods.

Text:

A Concise Introduction to Mathematical Logic, Rautenberg

Prerequisites:

General Mathematical Maturity

Sections Taught This Semester:

For more information on current instructors and sections for this course, please click HERE .

For more information on instructors and sections for this course for other semesters, please see our Teaching Schedule Page

Contact Us

HillCenter small

Department of Mathematics

Department of Mathematics
Rutgers University
Hill Center - Busch Campus
110 Frelinghuysen Road
Piscataway, NJ 08854-8019, USA

Phone: +1.848.445.2390
Fax: +1.732.445.5530