Weak König's lemma in Herbrandized classical second-order arithmetic

DOI10.4171/PM/2056zbMath1486.03096OpenAlexW3116123968WikidataQ124802491 ScholiaQ124802491MaRDI QIDQ2043309

Yanyan Li

Publication date: 30 July 2021

Published in: Portugaliae Mathematica. Nova Série (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4171/pm/2056

zbMATH Keywords

weak König's lemmasecond-order arithmeticHerbrandized functional interpretation

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

Related Items

On extracting variable Herbrand disjunctions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A functional interpretation for nonstandard arithmetic
• Injecting uniformities into Peano arithmetic
• The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
• A herbrandized functional interpretation of classical first-order logic
• Bounded functional interpretation
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen