1:51:15 Problema 24 de Hilbert -- Simplicidad de demostraciones Antonio Montalban 320 views - 4 years ago
11:41 44. Logic. Term Models for maximal consistent sets of formulas Antonio Montalban 1.1K views - 5 years ago
9:27 48. Finishing the proof of equivalent versions of the Axiom of Choice Antonio Montalban 905 views - 5 years ago
24:17 38. Logic. Generalization of Constants, change of variables, equality Antonio Montalban 936 views - 5 years ago
23:17 34. Set Theory. Absorption law of cardinal arithmetic Antonio Montalban 838 views - 5 years ago
16:09 32. Logic. An application to Compactness to Equivalence Relations Antonio Montalban 611 views - 5 years ago
4:04 32. Set Theory. Comparing cardinals via onto functions Antonio Montalban 556 views - 5 years ago
12:28 33. Logic. Application of Compactness: fields of characteristic 0 not strongly elementary Antonio Montalban 496 views - 5 years ago
29:14 30. Logic. Application of compactness to graph coloring Antonio Montalban 749 views - 5 years ago
20:12 27. Logic. An application of Compactness for Sentential Logic Antonio Montalban 933 views - 5 years ago
13:11 30. Set Theory. There is no measure on all sets of reals Antonio Montalban 672 views - 5 years ago
20:52 29. Logic. Compactness: from Cantor Set to Sentential Logic Antonio Montalban 816 views - 5 years ago
11:53 29. Set Theory. Every Vector Space has a basis using AC Antonio Montalban 2.9K views - 5 years ago