Well-behaved principles alternative to bounded induction
type: Item
instance of: scholarly article
title: Well-behaved principles alternative to bounded induction
zbMATH Open document ID: 1087.03036
author: Zofia Adamowicz
author: Leszek Aleksander Kołodziejczyk
published in: Theoretical Computer Science
publication date: 2004-10-27T00:00:00Z
Mathematics Subject Classification ID: 03F30
zbMATH DE Number: 2111102
zbMATH Keywords: Bounded arithmetic
zbMATH Keywords: Bounded induction
zbMATH Keywords: Evaluations
zbMATH Keywords: Skolem
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.03.022
OpenAlex ID: W1993137092
cites work: A contribution to the end-extension problem and the \(\Pi_ 1\) conservativeness problem
cites work: Herbrand consistency and bounded arithmetic
cites work: On Herbrand consistency in weak arithmetic
cites work: On complexity reduction of \(\Sigma_1\) formulas
cites work: Dynamic ordinal analysis
cites work: Q5286672
cites work: Structure and definability in general bounded arithmetic theories
DOI: 10.1016/J.TCS.2004.03.022
Recommended article: Q3490977
Recommended article: Bounded existential induction
Recommended article: Induction rules in bounded arithmetic
Recommended article: On Extending Bounded Proofs to Inductive Proofs
Recommended article: Q3026376
Recommended article: Q3805882
Recommended article: Q4394887
Recommended article: The strength of sharply bounded induction
Recommended article: Proof-theoretic strengths of the well-ordering principles
Recommended article: Q3346307
description: scientific article; zbMATH DE number 2111102