The Reverse Mathematics of Harrington's Principle
Erwin Schrödinger International Institute for Mathematics and Physics (ESI) via YouTube
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the reverse mathematics analysis of Harrington's Principle in this 40-minute conference talk delivered at the Erwin Schrödinger International Institute for Mathematics and Physics. Delve into the mathematical foundations and computational aspects of this important principle as part of the Workshop on "Reverse Mathematics and Higher Computability Theory." Examine how Harrington's Principle fits within the framework of reverse mathematics, understanding its logical strength and relationship to other mathematical principles. Gain insights into the intersection of computability theory and foundational mathematics through this specialized presentation aimed at researchers and advanced students in mathematical logic and foundations.
Syllabus
Robert Lubarsky - The Reverse Mathematics of Harrington's Principle
Taught by
Erwin Schrödinger International Institute for Mathematics and Physics (ESI)