A note on sharply bounded arithmetic

DOI10.1007/BF01352935zbMath0792.03040MaRDI QIDQ1325055

Jan Johannsen

Publication date: 7 July 1994

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

zbMATH Keywords

bounded arithmeticindependence results

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items (1)

Some results on cut-elimination, provable well-orderings, induction and reflection

Cites Work

• Bounded arithmetic for NC, ALogTIME, L and NL
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A note on sharply bounded arithmetic