Math 557 – Quantifier Elimination for Algebraically Closed Fields

(24:31)

Math 557 – Arithmetic Formulas

(13:2)

Math 557 – Deciding Theories

(11:19)

Math 557 – Properties of terms and formulas

(11:44)

Math 557 – Quantifier Elimination

(27:32)

Math 557 – Cardinal arithmetic and the Continuum Hypothesis

(20:4)

Math 557 – Validities

(17:16)

Math 557 – Elementary Substructures

(14:44)

Math 557 – Cofinality

(17:54)

Math 557 – Turing Machines

(19:50)

Math 557 – First-order languages

(23:46)

Math 557 – The Ackermann function

(7:17)

Math 557 — Proving the Model Existence Theorem

(14:16)

Math 557 – Defining Computable Functions in Arithmetic

(16:16)

Math 557 – Henkin Theories

(17:17)

Math 557 – Unsolvable Problems

(21:4)

Math 557 – Completing Theories

(7:15)

Math 557 – Substitution

(18:17)