A note on sharply bounded arithmetic

DOI10.1007/BF01352935MaRDI QIDQ1325055zbMATH OpenFDO

Authors 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)

Recommendations

• A Remark on Independence Results for Sharply Bounded Arithmetic
• Publication:4893147
• scientific article; zbMATH DE number 517079

Cites work

• scientific article; zbMATH DE number 440487 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 517079 (Why is no real title available?)
• scientific article; zbMATH DE number 806747 (Why is no real title available?)
• Bounded arithmetic for NC, ALogTIME, L and NL

Cited in

(4)

• scientific article; zbMATH DE number 517079 (Why is no real title available?)
• Independence results for variants of sharply bounded induction
• Some results on cut-elimination, provable well-orderings, induction and reflection
• scientific article; zbMATH DE number 922627 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1325055)