Full-Text PDF (97 KB) | Metadata | Table of Contents | PM summary
Published online: 2020-12-22
Weak König’s lemma in herbrandized classical second-order arithmeticFernando Ferreira (1) Universidade de Lisboa, Portugal
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.
Keywords: Second-order arithmetic, herbrandized functional interpretation, weak König’s lemma
Ferreira Fernando: Weak König’s lemma in herbrandized classical second-order arithmetic. Port. Math. 77 (2020), 399-408. doi: 10.4171/PM/2056