Antonio Montalban

This channel contains my classes on mathematical logic taught for upper division math students.

La Hipótesis del Continuo
La Hipótesis del Continuo
Robuster Scott Rank mini-course --- Day 1/4
Robuster Scott Rank mini-course --- Day 1/4
Robuster Scott Rank mini-course --- Day 2/4
Robuster Scott Rank mini-course --- Day 2/4
Robuster Scott Rank mini-course --- Day 3/4
Robuster Scott Rank mini-course --- Day 3/4
Robuster Scott Rank mini-course --- Day 4/4
Robuster Scott Rank mini-course --- Day 4/4
Problema 24 de Hilbert -- Simplicidad de demostraciones
Problema 24 de Hilbert -- Simplicidad de demostraciones
47. Set Theory. A Proof of Zorn's Lemma
47. Set Theory. A Proof of Zorn's Lemma
50. Set Theory. Regularity Axiom
50. Set Theory. Regularity Axiom
51. Cardinals As Ordinals
51. Cardinals As Ordinals
46. Logic. Finishing the proof of completeness
46. Logic. Finishing the proof of completeness
42. Logic. The Set Of Closed Terms
42. Logic. The Set Of Closed Terms
52. Set Theory. Alephs
52. Set Theory. Alephs
49. Set Theory. The V hierarchy
49. Set Theory. The V hierarchy
47. Logic. Summing up
47. Logic. Summing up
44. Logic. Term Models for maximal consistent sets of formulas
44. Logic. Term Models for maximal consistent sets of formulas
48. Finishing the proof of equivalent versions of the Axiom of Choice
48. Finishing the proof of equivalent versions of the Axiom of Choice
43. Logic. The Term Model
43. Logic. The Term Model
45. Logic. Theories that contain term witnesses
45. Logic. Theories that contain term witnesses
46. Set Theory. Hartog's Theorem
46. Set Theory. Hartog's Theorem
45. Set Theory. The Burali-Forti paradox
45. Set Theory. The Burali-Forti paradox
43. Set Theory. Ordinals
43. Set Theory. Ordinals
44. Set Theory. Comparability of Ordinals
44. Set Theory. Comparability of Ordinals
42. Set Theory. Epsilon Images
42. Set Theory. Epsilon Images
38. Logic. Generalization of Constants, change of variables, equality
38. Logic. Generalization of Constants, change of variables, equality
40. Logic. Maximal Consistent sets of sentences
40. Logic. Maximal Consistent sets of sentences
41. Logic. Gödel's Completeness theorem
41. Logic. Gödel's Completeness theorem
39. Logic. The Soundness theorem
39. Logic. The Soundness theorem
36. Logic. The Generalization Metatheorem
36. Logic. The Generalization Metatheorem
36. Logic. Tautologies in First Order Logic
36. Logic. Tautologies in First Order Logic
34. Logic. Syntactical Implication
34. Logic. Syntactical Implication