Restricted polynomial induction versus ordinary induction

DOI10.4064/FM323-10-2017zbMATH Open1459.03088OpenAlexW2793244145MaRDI QIDQ4565103FDOQ4565103

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

Recommendations

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

zbMATH Keywords

consistencyinductionconservativityend extension

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Restricted polynomial induction versus parameter free ordinary induction
• Induction rules in bounded arithmetic

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)