Reverse Mathematics

This is extra footage to go with our video about Subcubic Graph Numbers at https://youtu.be/4-eXjTH6Mq4 Learn more about Jane ...

SPONSORS: - Go to https://www.plaud.ai/curt to get a Plaud device today - Go to https://shortform.com/toe for a free trial and an ...

Cryptographers out there: you have my respect!! This stuff gets wild! If you like what you see and hear, join the credits!

... today he will also tell us about uh something related to this he will speak about

Goal. I would like to tell you a bit about my favorite theorems, ideas or concepts in

This lecture was part of the Workshop on "

Recorded as part of the CFvW Colloquium on July 10, 2024 An Introduction to

Talk by Jiatu Li, joint work with Lijie Chen, Igor Carboni Oliveira Title:

This talk was part of the Workshop on "

The source provides an extensive overview of

Online Logic Seminar on Foundations of

Buy a shirt and support me and a dog rescue charity! https://teespring.com/stores/critical-role-highlights ❱ SUPPORT ME VIA ...

Reverse Math

This lecture was part of the Workshop on "

The source introduces the concept of

This lecture was part of the Workshop on "

This lecture was part of the Workshop on "

This talk was held at the CUNY Graduate Center's Models of Peano Arithmetic seminar on March 9, 2021.

1) Simpson's slides: http://www.birs.ca//workshops//2008/08w5019/files/simpson.pdf 2) The Gödel Hierarchy and