A Remark on Independence Results for Sharply Bounded Arithmetic
From MaRDI portal
Publication:4224090
DOI10.1002/malq.19980440415zbMath0920.03058OpenAlexW2092110581MaRDI QIDQ4224090
Publication date: 31 August 1999
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19980440415
First-order arithmetic and fragments (03F30) Nonstandard models of arithmetic (03H15) Models of arithmetic and set theory (03C62)
Related Items
This page was built for publication: A Remark on Independence Results for Sharply Bounded Arithmetic