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)

Full work available at URL https://doi.org/10.1007/BF01352935

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

• Bounded arithmetic for NC, ALogTIME, L and NL
• 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?)

Cited in

(6)

• Some results on cut-elimination, provable well-orderings, induction and reflection
• The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic
• scientific article; zbMATH DE number 517079 (Why is no real title available?)
• A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
• scientific article; zbMATH DE number 922627 (Why is no real title available?)
• Independence results for variants of sharply bounded induction

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)