Strict \({\varPi^1_1}\)-reflection in bounded arithmetic
From MaRDI portal
Publication:2655140
DOI10.1007/s00153-009-0157-zzbMath1200.03042MaRDI QIDQ2655140
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
03B30: Foundations of classical theories (including reverse mathematics)
03F35: Second- and higher-order arithmetic and fragments
03C25: Model-theoretic forcing
Related Items
Cites Work