On sharply bounded length induction
From MaRDI portal
Publication:6560178
DOI10.1007/3-540-61377-3_48zbMATH Open1540.03104MaRDI QIDQ6560178FDOQ6560178
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)
