Restricted polynomial induction versus ordinary induction

DOI10.4064/FM323-10-2017MaRDI QIDQ4565103zbMATH OpenOpenAlexFDO

Authors Zofia Adamowicz

Publication date 7 June 2018

Published in Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4064/fm323-10-2017

zbMATH Keywords

conservativityconsistencyend extensioninduction

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Gödel numberings and issues of incompleteness (03F40)

Recommendations

• scientific article; zbMATH DE number 176210
• Existentially Closed Models and Conservation Results in Bounded Arithmetic
• scientific article; zbMATH DE number 3880682
• scientific article; zbMATH DE number 4145897
• Induction rules in bounded arithmetic

Cites work

• A Conservation Result Concerning Bounded Theories and the Collection Axiom
• A few questions concerning consistency and conservativeness
• Bootstrapping. I
• Diophantine induction
• End-extensions of models of weak arithmetic from complexity-theoretic containments
• Existentially closed models in the framework of arithmetic
• Existentially closed structures and Gödel's second incompleteness theorem
• scientific article; zbMATH DE number 1016911 (Why is no real title available?)
• scientific article; zbMATH DE number 227056 (Why is no real title available?)
• Lower and upper bounds for the provability of Herbrand consistency in weak arithmetics
• On induction-free provability
• On the Herbrand notion of consistency for finitely axiomatizable fragments of bounded arithmetic theories
• Structure and definability in general bounded arithmetic theories
• Well-behaved principles alternative to bounded induction

Cited in

(5)

• Induction rules in bounded arithmetic
• scientific article; zbMATH DE number 3880682 (Why is no real title available?)
• scientific article; zbMATH DE number 176204 (Why is no real title available?)
• scientific article; zbMATH DE number 176210 (Why is no real title available?)
• Restricted polynomial induction versus parameter free ordinary induction

This page was built for publication: Restricted polynomial induction versus ordinary induction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4565103)