Parameter-free schemes in second-order arithmetic

This is a talk at the MAMLS Fall Fest 2025, September 27, 2025.
Slides

The talk is similar to the talk in this post.