Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore conservation results for weak systems of higher order reverse mathematics over second order arithmetic in this 47-minute conference lecture. Examine how expressive higher order axioms can be used to prove results in traditional subsystems through conservation theorems. Survey established results in the field while discovering newer and preliminary work, including open questions that remain to be resolved. Learn about the theoretical foundations that allow mathematicians to bridge different levels of mathematical systems, from second-order arithmetic to higher-order frameworks. Gain insights into current research directions and unsolved problems in this specialized area of mathematical logic and reverse mathematics.
