scientific article; zbMATH DE number 4035826

MaRDI QIDQ3775554zbMATH OpenFDO

Authors Zofia Adamowicz, Roman Kossak

Publication date 1986

zbMATH Keywords

collection schemebounded quantifiersarithmetical formulasinduction scheme

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• A Note on BΣ_n and an Intermediate Induction Schema
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• A note on Δ₁induction and Σ₁collection
• On parameter free induction schemas

Cited in

(9)

• On parameter free induction schemas
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• On complexity reduction of \(\Sigma_1\) formulas
• scientific article; zbMATH DE number 4075046 (Why is no real title available?)
• Σ_{𝑛}-bounding and Δ_{𝑛}-induction
• 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}
• A note on Δ₁induction and Σ₁collection
• A note on parameter free \(\Pi _{1}\)-induction and restricted exponentiation
• A Note on BΣ_n and an Intermediate Induction Schema

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 Q3775554)