My Work

• Martin's Conjecture in the Turing Degrees and the Enumeration Degrees (site, slides)

Graduate Logic Seminar. University of Wisconsin - Madison.  November 2023.

• How to prove the Riemann Hypothesis: A Logician's Approach (site, slides)

AMS Student Chapter Seminar (aka Donut Seminar). University of Wisconsin - Madison.  November 2023.

• Enumeration Degrees and Effective Topology (site, slides)

IMS Graduate Summer School in Logic. National University of Singapore.  June 2023.

• Algoritmic Content of Topological Spaces (site)

XXIII Graduate Student Conference in Logic. University of Illinois - Chicago.  April 2023.

• Ahmad Pairs: A 0'''-priority argument (slides, site)

Graduate Logic Seminar. University of Wisconsin - Madison.  April 2023.

• Algorithmic Content of Topological Spaces (slides)

 Logicón MMXXIII. Facultad de Ciencias, UNAM. February 2023. In Spanish

• When Models Became Polish: An Introduction to the Topological Vaught Conjecture (slides, site)

Graduate Logic Seminar. University of Wisconsin - Madison.  September 2022.

• Semiregular Cuts (site)

Graduate Logic Seminar. University of Wisconsin - Madison.  April 2022.

• Martin's Conjecture (site, part 1, part 2) 

Graduate Logic Seminar. University of Wisconsin - Madison. November 2021.

• Gödel's Tricks: How to pull incompleteness out of a hat? (site, video, slides)

X Aquelarre Matemático. Facultad de Ciencias, UNAM. October 2019. In Spanish

• Diophantus against the Machines: An unsolvable problem (site, video, slides)

XIX Aquelarre Matemático. Facultad de Ciencias, UNAM. October 2018. In Spanish

• Ask the oracle: the non-computable side of mathematics (site, slides)

VIII Aquelarre Matemático. Facultad de Ciencias, UNAM. November 2017. In Spanish

• Transfinite progressions of recursively enumerable axiomatic systems (site, slides)

Seminario de Lógica y Conjuntos. Facultad de Ciencias, UNAM. April 2017. In Spanish

• On the decision problem: From Logic to Computability (site, video)

Seminario Junior de Matemáticas. Instituto de Matemáticas, UNAM. March 2017. In Spanish

• Paradoxes in the service of Mathematics: What’s up with Gödel’s First Incompleteness Theorem? 

VII Aquelarre Matemático. Instituto de Matemáticas, UNAM. October 2016. In Spanish

• Martin's Conjecture (pdf) 

Master's thesis. Advisor: David Meza Alcántara.