scientific article; zbMATH DE number 4039892

MaRDI QIDQ3778748zbMATH OpenFDO

Authors Richard Kaye

Publication date 1987

zbMATH Keywords

axiomatizabilityconservationfragments of first order Peano arithmeticschemes of parameter free induction and collectionsurvey

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• On parameter free induction schemas
• scientific article; zbMATH DE number 1088194
• Conservation results for parameter-free _n-induction
• Fragments of Arithmetic and true sentences
• On A Problem Concerning Parameter Free Induction

Cited in

(11)

• Induction rules in bounded arithmetic
• On axiom schemes for \(T\)-provably \(\Delta_1\) formulas
• Hierarchies of Subsystems of Weak Arithmetic
• Conservation results for parameter-free _n-induction
• Pell Equations and Weak Regularity Principles
• Parameter-Free Universal Induction
• On parameter free induction schemas
• scientific article; zbMATH DE number 1088194 (Why is no real title available?)
• Fragments of Arithmetic and true sentences
• Weak forms of the Regularity Principle in the presence of \documentclass{article}\usepackage{amssymb}\begin{document}\pagestyle{empty}$\bf {\mathsf {I}{\mathrm{E}}_1}$\end{document}
• Restricted polynomial induction versus parameter free ordinary induction

This page was built for publication:

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