Strict \({\varPi^1_1}\)-reflection in bounded arithmetic

DOI10.1007/S00153-009-0157-ZzbMath1200.03042OpenAlexW2060030023MaRDI QIDQ2655140

António Marques Fernandes

Publication date: 22 January 2010

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-009-0157-z

zbMATH Keywords

feasible arithmeticfeasible analysis

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Model-theoretic forcing (03C25)

Related Items (1)

Harrington's conservation theorem redone

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A new conservation result of \(\text{WKL}_0\) over \(\text{RCA}_0\)
• Formalizing forcing arguments in subsystems of second-order arithmetic
• Groundwork for weak analysis
• A feasible theory for analysis
• Asymmetric Interpretations for Bounded Theories

This page was built for publication: Strict \({\varPi^1_1}\)-reflection in bounded arithmetic