scientific article

zbMATH Open0636.03054MaRDI QIDQ3775554FDOQ3775554

Roman Kossak, Zofia Adamowicz

Publication date: 1986

Title of this publication is not available (Why is that?)

zbMATH Keywords

collection schemebounded quantifiersarithmetical formulasinduction scheme

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Cited In (6)

• On parameter free induction schemas
• Induction, minimization and collection for \(\Delta_{n+1}(T)\)-formulas
• On complexity reduction of \(\Sigma_1\) formulas
• Σ_{𝑛}-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

   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 👍 👎

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)