ADVANCED TOPICS IN FOUNDATIONS

MATH 873

Course Description

Advanced topics from all areas of mathematical logic.

Prerequisties

Graduate/professional standing or member of the Pre-Masters Mathematics (Visiting International) Program

Satisfies

This course does not satisfy any prerequisites.

Credits

Not Reported

Offered

Not Reported

Grade Point Average

3.57% from Historical

Completion Rate

100%

2.9% from Historical

A Rate

100%

3.57% from Historical

Class Size

94.36% from Historical

Instructors (2025 Fall)

Sorted by ratings from Rate My Professors

Similar Courses

MATHEMATICAL LOGIC

MATH/PHILOS 571

Basics of logic and mathematical proofs; propositional logic; first order logic; undecidability.

METHODS OF LOGIC

PHILOS 512

Selected topics in philosophical logic and in the various applications of logic to philosophical problems. Variable content.

SEMINAR-THE FOUNDATIONS OF MATHEMATICS

MATH 975

Selected topics in Mathematical Logic.

SEMINAR-LOGIC

PHILOS 911

Seminar on logic.

FOUNDATIONS OF MATHEMATICS

MATH 770

First-order logic syntax and semantics, Completeness and Compactness Theorems, Lowenheim-Skolem Theorem, computable and computably enumerable sets, Incompleteness Theorem, axioms of Zermelo-Fraenkel set theory with choice, ordinal and cardinal arithmetic.