On induction-free provability
type: Item
instance of: scholarly article
title: On induction-free provability
zbMATH Open document ID: 0865.03045
DOI: 10.1007/BF01531024
author: Jan Krajíček
author: Gaisi Takeuti
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-13T00:00:00Z
review text: In this article we study relations between various fragments of bounded arithmetic. The fragments of interest here are the theories \(S^i_2\) and \(T^i_2\) introduced by Buss.
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 1005822
zbMATH Keywords: fragments of bounded arithmetic
MaRDI profile type: Publication
cites work: Q3476809
cites work: Q3962995
cites work: Exponentiation and second-order bounded arithmetic
cites work: Quantified propositional calculi and fragments of bounded arithmetic
cites work: Bounded arithmetic and the polynomial hierarchy
cites work: On the scheme of induction for bounded arithmetic formulas
cites work: Bounded arithmetic and truth definition
description: scientific article; zbMATH DE number 1005822