Antonio Montalban
This channel contains my classes on mathematical logic taught for upper division math students.
La Hipótesis del Continuo
Robuster Scott Rank mini-course --- Day 1/4
Robuster Scott Rank mini-course --- Day 2/4
Robuster Scott Rank mini-course --- Day 3/4
Robuster Scott Rank mini-course --- Day 4/4
Problema 24 de Hilbert -- Simplicidad de demostraciones
47. Set Theory. A Proof of Zorn's Lemma
50. Set Theory. Regularity Axiom
51. Cardinals As Ordinals
46. Логика. Завершение доказательства полноты.
42. Logic. The Set Of Closed Terms
52. Set Theory. Alephs
49. Set Theory. The V hierarchy
47. Logic. Summing up
44. Logic. Term Models for maximal consistent sets of formulas
48. Finishing the proof of equivalent versions of the Axiom of Choice
43. Logic. The Term Model
45. Логика. Теории, содержащие термины-свидетели.
46. Set Theory. Hartog's Theorem
45. Set Theory. The Burali-Forti paradox
43. Set Theory. Ordinals
44. Set Theory. Comparability of Ordinals
42. Set Theory. Epsilon Images
38. Логика. Обобщение констант, замена переменных, равенство.
40. Logic. Maximal Consistent sets of sentences
41. Логика. Теорема Гёделя о полноте.
39. Logic. The Soundness theorem
36. Логика. Метатеорема обобщения.
36. Logic. Tautologies in First Order Logic
34. Логика. Синтаксическая импликация.