Antonio Montalban

La Hipótesis del Continuo

Antonio Montalban

Robuster Scott Rank mini-course --- Day 14

Antonio Montalban

Robuster Scott Rank mini-course --- Day 24

Antonio Montalban

Robuster Scott Rank mini-course --- Day 34

Antonio Montalban

Robuster Scott Rank mini-course --- Day 44

Antonio Montalban

Problema 24 de Hilbert -- Simplicidad de demostraciones

Antonio Montalban

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

Antonio Montalban

50. Set Theory. Regularity Axiom

Antonio Montalban

51. Cardinals As Ordinals

Antonio Montalban

46. Logic. Finishing the proof of completeness

Antonio Montalban

42. Logic. The Set Of Closed Terms

Antonio Montalban

52. Set Theory. Alephs

Antonio Montalban

49. Set Theory. The V hierarchy

Antonio Montalban

47. Logic. Summing up

Antonio Montalban

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

Antonio Montalban

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

Antonio Montalban

43. Logic. The Term Model

Antonio Montalban

45. Logic. Theories that contain term witnesses

Antonio Montalban

46. Set Theory. Hartog's Theorem

Antonio Montalban

45. Set Theory. The Burali-Forti paradox

Antonio Montalban

43. Set Theory. Ordinals

Antonio Montalban

44. Set Theory. Comparability of Ordinals

Antonio Montalban

42. Set Theory. Epsilon Images

Antonio Montalban

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

Antonio Montalban

40. Logic. Maximal Consistent sets of sentences

Antonio Montalban

41. Logic. Gödel's Completeness theorem

Antonio Montalban

39. Logic. The Soundness theorem

Antonio Montalban

36. Logic. The Generalization Metatheorem

Antonio Montalban

36. Logic. Tautologies in First Order Logic

Antonio Montalban

34. Logic. Syntactical Implication

Antonio Montalban