Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Weak König's lemma in Herbrandized classical second-order arithmetic |
scientific article |
Statements
Weak König's lemma in Herbrandized classical second-order arithmetic (English)
0 references
30 July 2021
0 references
Summary: 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.
0 references
second-order arithmetic
0 references
Herbrandized functional interpretation
0 references
weak König's lemma
0 references