Pedro Sánchez Terraf

Mathematical Logic

Menu

Skip to content
  • Home
  • About
  • Some links
  • Posts In English

Tag Archives: Argentina

¡Empezamos este miércoles!

Este miércoles a las 14hs, comenzará el curso Teoría de Conjuntos, dictado por su servidor en la Universidad Nacional de Córdoba.
Continue reading →

March 7, 2016Pedro Sánchez Terraf Argentina, courses, Teoría de Conjuntos, Universidad Nacional de Córdoba Leave a comment

Recent Posts

  • Corset para el arte
  • Tres niveles
  • La irrefrenable avaricia en Matemática
  • Mejor, el Principio de Hausdorff
  • La Aritmética de Peano

Recent Comments

  • Adi Satria Pangestu on Mejor, el Principio de Hausdorff
  • El Axioma de Martin | Pedro Sánchez Terraf on Aplicaciones del Axioma de Martin
  • Pedro Sánchez Terraf on El Axioma de Martin
  • Juan Pablo Cardona on El Axioma de Martin
  • Lecturas iniciales en Teoría de Conjuntos | Pedro Sánchez Terraf on El Axioma de Martin

Tags

academia Argentina axioms behavior bisimilarity bisimulation Boolean algebra cardinal invariants choice club sets computer science consistency strength courses descriptive set theory determinacy etymology first-order logic forcing Foundation funny stuff Glivenko global choice Hartogs infinite games intuitionism large cardinals Lövenheim-Skolem Theorem Martin's Axiom modal logic model theory naïve set theory non-standard model numberphile ordinals posets proof by contradiction propositional logic publishing Russell self-reference Teoría de Conjuntos transitive models Universidad Nacional de Córdoba well foundedness well order

Archives

  • November 2018
  • September 2018
  • April 2018
  • March 2018
  • September 2017
  • July 2017
  • May 2017
  • April 2017
  • March 2017
  • February 2017
  • October 2016
  • June 2016
  • April 2016
  • March 2016
  • February 2016
  • January 2016
  • December 2015
  • November 2015
  • October 2015
  • September 2015
  • August 2015
  • July 2015
  • June 2015

RSS Universal Algebra @ UNC

  • Congrats Miguel! November 13, 2020
  • Trabajo Final de Ignacio Made. December 2, 2019
  • Facundo Bustos, 2019-11-06: “Introducción a Planning Clásico y su Complejidad” November 2, 2019
  • Miguel Pagano, 2019-10-30: “Modelos para sintacticalidades” October 26, 2019
  • Martín Moroni, 2019-10-09: “Problemas de clasificación y reducciones Borel” October 7, 2019
  • Francisco Trucco, 2019-10-02: “El Isomorfismo de Curry Howard” September 26, 2019
  • Miguel Campercholi, 2019-09-11: “Introducción a la Complejidad Computacional” (Segunda Parte) September 5, 2019
  • Miguel Campercholi, 2019-09-04: “Introducción a la Complejidad Computacional” September 2, 2019
  • Nicolás Balmaceda, 2019-06-19: “La concepción Semántica de la verdad de Tarski” June 13, 2019
  • Guillermo Incatasciato, 2019-05-20: La idea general detrás del teorema de incompletitud de Gödel May 16, 2019
Proudly powered by WordPress ~ Theme: Syntax by WordPress.com.