On sharply bounded length induction

DOI10.1007/3-540-61377-3_48MaRDI QIDQ6560178zbMATH OpenFDO

Authors Jan Johannsen

Publication date 21 June 2024

Full work available at URL https://doi.org/10.1007/3-540-61377-3_48

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• A Remark on Independence Results for Sharply Bounded Arithmetic
• A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications
• scientific article; zbMATH DE number 517079
• Independence results for variants of sharply bounded induction
• An independence result on weak second order bounded arithmetic

Cites work

• scientific article; zbMATH DE number 432703 (Why is no real title available?)
• scientific article; zbMATH DE number 4160722 (Why is no real title available?)
• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 937384 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Unprovability of consistency statements in fragments of bounded arithmetic

This page was built for publication: On sharply bounded length induction

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