Antonio Montalban

@UCIitj22cDioUWlkQYF6UXLw - 4.1K subscribers

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

Home Videos Live Playlists

La Hipótesis del Continuo

La Hipótesis del Continuo Antonio Montalban

2.4K views - 4 years ago

Robuster Scott Rank mini-course --- Day 1/4

Robuster Scott Rank mini-course --- Day 1/4 Antonio Montalban

954 views - 4 years ago

Robuster Scott Rank mini-course --- Day 2/4

Robuster Scott Rank mini-course --- Day 2/4 Antonio Montalban

176 views - 4 years ago

Robuster Scott Rank mini-course --- Day 3/4

Robuster Scott Rank mini-course --- Day 3/4 Antonio Montalban

180 views - 4 years ago

Robuster Scott Rank mini-course --- Day 4/4

Robuster Scott Rank mini-course --- Day 4/4 Antonio Montalban

87 views - 4 years ago

Problema 24 de Hilbert -- Simplicidad de demostraciones

Problema 24 de Hilbert -- Simplicidad de demostraciones Antonio Montalban

320 views - 4 years ago

47. Set Theory. A Proof of Zorn's Lemma

47. Set Theory. A Proof of Zorn's Lemma Antonio Montalban

9.4K views - 5 years ago

50. Set Theory. Regularity Axiom

50. Set Theory. Regularity Axiom Antonio Montalban

2.7K views - 5 years ago

51. Cardinals As Ordinals

51. Cardinals As Ordinals Antonio Montalban

1.2K views - 5 years ago

46. Logic. Finishing the proof of completeness

46. Logic. Finishing the proof of completeness Antonio Montalban

1.6K views - 5 years ago

42. Logic. The Set Of Closed Terms

42. Logic. The Set Of Closed Terms Antonio Montalban

1.4K views - 5 years ago

52. Set Theory. Alephs

52. Set Theory. Alephs Antonio Montalban

1.2K views - 5 years ago

49. Set Theory. The V hierarchy

49. Set Theory. The V hierarchy Antonio Montalban

1.8K views - 5 years ago

47. Logic. Summing up

47. Logic. Summing up Antonio Montalban

1.3K views - 5 years ago

44. Logic. Term Models for maximal consistent sets of formulas

44. Logic. Term Models for maximal consistent sets of formulas Antonio Montalban

1.1K views - 5 years ago

48. Finishing the proof of equivalent versions of the Axiom of Choice

48. Finishing the proof of equivalent versions of the Axiom of Choice Antonio Montalban

905 views - 5 years ago

43. Logic. The Term Model

43. Logic. The Term Model Antonio Montalban

1.2K views - 5 years ago

45. Logic. Theories that contain term witnesses

45. Logic. Theories that contain term witnesses Antonio Montalban

1.1K views - 5 years ago

46. Set Theory. Hartog's Theorem

46. Set Theory. Hartog's Theorem Antonio Montalban

1.3K views - 5 years ago

45. Set Theory. The Burali-Forti paradox

45. Set Theory. The Burali-Forti paradox Antonio Montalban

1.8K views - 5 years ago

43. Set Theory. Ordinals

43. Set Theory. Ordinals Antonio Montalban

2K views - 5 years ago

44. Set Theory. Comparability of Ordinals

44. Set Theory. Comparability of Ordinals Antonio Montalban

678 views - 5 years ago

42. Set Theory. Epsilon Images

42. Set Theory. Epsilon Images Antonio Montalban

1.2K views - 5 years ago

38. Logic. Generalization of Constants, change of variables, equality

38. Logic. Generalization of Constants, change of variables, equality Antonio Montalban

936 views - 5 years ago

40. Logic. Maximal Consistent sets of sentences

40. Logic. Maximal Consistent sets of sentences Antonio Montalban

1.9K views - 5 years ago

41. Logic. Gödel's Completeness theorem

41. Logic. Gödel's Completeness theorem Antonio Montalban

8.5K views - 5 years ago

39. Logic. The Soundness theorem

39. Logic. The Soundness theorem Antonio Montalban

2.1K views - 5 years ago

36. Logic. The Generalization Metatheorem

36. Logic. The Generalization Metatheorem Antonio Montalban

1.3K views - 5 years ago

36. Logic. Tautologies in First Order Logic

36. Logic. Tautologies in First Order Logic Antonio Montalban

1.6K views - 5 years ago

34. Logic. Syntactical Implication

34. Logic. Syntactical Implication Antonio Montalban

1.1K views - 5 years ago

35. Logic. Logical Axioms

35. Logic. Logical Axioms Antonio Montalban

2.8K views - 5 years ago

37. Logic. More Metatheorems

37. Logic. More Metatheorems Antonio Montalban

911 views - 5 years ago

37. Set Theory. Well orderings

37. Set Theory. Well orderings Antonio Montalban

1.1K views - 5 years ago

41. Set theory. A proof of Transfinite Recursion

41. Set theory. A proof of Transfinite Recursion Antonio Montalban

1.3K views - 5 years ago

39. Set Theory. Transfinite Recursion

39. Set Theory. Transfinite Recursion Antonio Montalban

3K views - 5 years ago

40. Set Theory. Replacement Axiom

40. Set Theory. Replacement Axiom Antonio Montalban

2.7K views - 5 years ago

38. Set Theory. Transfinite Induction

38. Set Theory. Transfinite Induction Antonio Montalban

5.1K views - 5 years ago

34. Set Theory. Absorption law of cardinal arithmetic

34. Set Theory. Absorption law of cardinal arithmetic Antonio Montalban

838 views - 5 years ago

35. Set Theory. Multiplication of infinite cardinals

35. Set Theory. Multiplication of infinite cardinals Antonio Montalban

627 views - 5 years ago

32. Logic. An application to Compactness to Equivalence Relations

32. Logic. An application to Compactness to Equivalence Relations Antonio Montalban

611 views - 5 years ago

32. Set Theory. Comparing cardinals via onto functions

32. Set Theory. Comparing cardinals via onto functions Antonio Montalban

556 views - 5 years ago

33. Set Theory. Countable Sets

33. Set Theory. Countable Sets Antonio Montalban

828 views - 5 years ago

33. Logic. Application of Compactness: fields of characteristic 0 not strongly elementary

33. Logic. Application of Compactness: fields of characteristic 0 not strongly elementary Antonio Montalban

496 views - 5 years ago

36. Set Theory. The continuum hypothesis

36. Set Theory. The continuum hypothesis Antonio Montalban

1.4K views - 5 years ago

30. Logic. Application of compactness to graph coloring

30. Logic. Application of compactness to graph coloring Antonio Montalban

749 views - 5 years ago

31. Logic. Proving König's lemma from compactness

31. Logic. Proving König's lemma from compactness Antonio Montalban

1.9K views - 5 years ago

28. Logic. Topological Compactness of [0,1]

28. Logic. Topological Compactness of [0,1] Antonio Montalban

1.3K views - 5 years ago

27. Logic. An application of Compactness for Sentential Logic

27. Logic. An application of Compactness for Sentential Logic Antonio Montalban

933 views - 5 years ago

28. Set Theory. Version of the Axiom Of Choice

28. Set Theory. Version of the Axiom Of Choice Antonio Montalban

2.9K views - 5 years ago

30. Set Theory. There is no measure on all sets of reals

30. Set Theory. There is no measure on all sets of reals Antonio Montalban

672 views - 5 years ago

29. Logic. Compactness: from Cantor Set to Sentential Logic

29. Logic. Compactness: from Cantor Set to Sentential Logic Antonio Montalban

816 views - 5 years ago

29. Set Theory. Every Vector Space has a basis using AC

29. Set Theory. Every Vector Space has a basis using AC Antonio Montalban

2.9K views - 5 years ago

26. Logic. Compactness in Sentential Logic

26. Logic. Compactness in Sentential Logic Antonio Montalban

1.3K views - 5 years ago

Set Theory: Determinacy of infinite games

Set Theory: Determinacy of infinite games Antonio Montalban

1.4K views - 5 years ago

27. Set Theory. Comparability of Cardinals

27. Set Theory. Comparability of Cardinals Antonio Montalban

1.2K views - 5 years ago

26. Set Theory. The Shroder--Bernstein Theorem

26. Set Theory. The Shroder--Bernstein Theorem Antonio Montalban

3.5K views - 5 years ago

25. Set Theory. Infinite sets dominate omega

25. Set Theory. Infinite sets dominate omega Antonio Montalban

1K views - 5 years ago

24. Set Theory. Ordering cardinals

24. Set Theory. Ordering cardinals Antonio Montalban

1.3K views - 5 years ago

24. Logic. Proving non-definability via compactness

24. Logic. Proving non-definability via compactness Antonio Montalban

1.2K views - 5 years ago

22. Logic. Compactness

22. Logic. Compactness Antonio Montalban

7K views - 5 years ago