scientific article
From MaRDI portal
Publication:3778748
zbMath0638.03054MaRDI QIDQ3778748
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
surveyconservationaxiomatizabilityfragments of first order Peano arithmeticschemes of parameter free induction and collection
Related Items (5)
Pell Equations and Weak Regularity Principles ⋮ On axiom schemes for \(T\)-provably \(\Delta_1\) formulas ⋮ 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} ⋮ Fragments of Arithmetic and true sentences ⋮ Induction rules in bounded arithmetic
This page was built for publication:
