On sharply bounded length induction

DOI10.1007/3-540-61377-3_48zbMATH Open1540.03104MaRDI QIDQ6560178FDOQ6560178

Authors: Jan Johannsen 

Publication date: 21 June 2024

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

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Unprovability of consistency statements in fragments of bounded arithmetic
• Title not available (Why is that?)

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)