Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Weak König's lemma in Herbrandized classical second-order arithmetic |
scientific article; zbMATH DE number 7376806
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Weak König's lemma in Herbrandized classical second-order arithmetic |
scientific article; zbMATH DE number 7376806 |
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
