Stephen Simpson: The Gödel Hierarchy and Reverse Mathematics (2008)
1) Simpson's slides: http://www.birs.ca//workshops//2008/08w5019/files/simpson.pdf 2) The Gödel Hierarchy and Reverse Mathematics (draft 2009) https://citese...
đ„ Related Trending Topics
LIVE TRENDSThis video may be related to current global trending topics. Click any trend to explore more videos about what's hot right now!
THIS VIDEO IS TRENDING!
This video is currently trending in Bangladesh under the topic 's'.
About this video
1) Simpson's slides: http://www.birs.ca//workshops//2008/08w5019/files/simpson.pdf
2) The Gödel Hierarchy and Reverse Mathematics (draft 2009) https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.305.273&rep=rep1&type=pdf
Many Thanks to Banff International Research Station - http://www.birs.ca
Video Information
Views
946
Total views since publication
Likes
33
User likes and reactions
Duration
52:25
Video length
Published
Jul 20, 2021
Release date
Quality
sd
Video definition
About the Channel
Tags and Topics
This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:
#Proof #Foundation #Foundations #Logic #Set Theory #Proof Theory #Type Theory #Mathematical Logic #Recursion #Computation #Higher Order #Arithmetic #Categories #Intuitionism #Constructive Mathematics #Mathematics #reverse #reverse mathematics #Stephen Simpson #Gödel Hierarchy #Gödel #Hierarchy #2nd order arithmetic
Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.