Harvey Friedman Explores Advanced Concepts in Strict Reverse Mathematics 📚 (Part II)

Join Harvey Friedman in this in-depth lecture from the 'Reverse Mathematics: New Paradigms' workshop, where he delves into the latest developments and insights in Strict Reverse Mathematics. Perfect for enthusiasts and researchers alike!

About this video

This lecture was part of the Workshop on "Reverse Mathematics: New Paradigms" held at the ESI August 4 - 8, 2025. My original conception of Reverse Mathematics was actually of Strict Reverse Mathematics. SRM can be viewed either as the requirement that there be no base theory at all, or the requirement that every statement of the base theory be itself strictly mathematical in its own right. Although these two formulations can be viewed as equivalent, the second formulation suggests a lot of systematic reuse of some fundamental strictly mathematical statements. This is expected. Already in the founding JSL abstracts of RM, there was a claim in passing that RCA_0 is logically equivalent to a strictly mathematical theory called ETF (elementary theory of functions), without proof. Since RM based on RCA_0 was so readily accepted I left that claim undocumented. A proof appears in https://u.osu.edu/friedman.8/foundational-adventures/downloadable-manuscripts/ #116. In #116 there are also some other results in SRM which I will discuss. Forging SRM into a systematically vibrant subject like RM is a challenge that needs to be met. This is much more difficult than for RM. There are some moves in this direction in #116 which we are now in the process of upgrading and extending. I will be reporting on the state of the art.

Tags and Topics

This video is tagged with the following topics. Click any tag to explore more related content and discover similar videos:

Tags help categorize content and make it easier to find related videos. Browse our collection to discover more content in these categories.

Video Information

Views
60

Total views since publication

Likes
3

User likes and reactions

Duration
01:06:03

Video length

Published
Aug 24, 2025

Release date

Quality
hd

Video definition

Related Trending Topics

LIVE TRENDS

This 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 Morocco under the topic 'météo demain'.

Share This Video

SOCIAL SHARE

Share this video with your friends and followers across all major social platforms including X (Twitter), Facebook, Youtube, Pinterest, VKontakte, and Odnoklassniki. Help spread the word about great content!