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
    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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references