Unprovability of consistency statements in fragments of bounded arithmetic
type: Item
instance of: scholarly article
title: Unprovability of consistency statements in fragments of bounded arithmetic
zbMATH Open document ID: 0834.03022
DOI: 10.1016/0168-0072(94)00049-9
author: Samuel R. Buss
author: Aleksandar Ignjatović
published in: Annals of Pure and Applied Logic
publication date: 1996-03-31T00:00:00Z
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 792508
zbMATH Keywords: bounded arithmetic
zbMATH Keywords: weak fragments of arithmetic
zbMATH Keywords: induction-free fragments
zbMATH Keywords: bootstrapping
zbMATH Keywords: induction schemas
zbMATH Keywords: unprovability of bounded consistency
MaRDI profile type: Publication
full work available at URL: 0168-0072(94)00049-9
OpenAlex ID: W2071977753
cites work: Q3800030
cites work: Q3138830
cites work: Q4133141
cites work: A note on bounded arithmetic
cites work: Q4694224
description: scientific article; zbMATH DE number 792508