Weak König’s lemma in herbrandized classical second-order arithmetic
Fernando Ferreira
Universidade de Lisboa, Portugal
![Weak König’s lemma in herbrandized classical second-order arithmetic cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-pm-volume-77-issue-3.png&w=3840&q=90)
Abstract
This is a short paper describing how a herbrandized functional interpretation can give a new treatment of some issues in classical second-order arithmetic. It is perhaps worthy of note that, in our interpretation, second-order variables are interpreted by finite sets of natural numbers.
Cite this article
Fernando Ferreira, Weak König’s lemma in herbrandized classical second-order arithmetic. Port. Math. 77 (2020), no. 3/4, pp. 399–408
DOI 10.4171/PM/2056