On sharply bounded length induction

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

Jan Johannsen

Publication date: 21 June 2024

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)