Sam Sanders. Nets and Reverse Mathematics - Some Initial Results. In Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero, editors, Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings. Volume 11558 of Lecture Notes in Computer Science, pages 253-264, Springer, 2019. [doi]
Abstract is missing.