scientific article; zbMATH DE number 4035826

zbMATH Open0636.03054MaRDI QIDQ3775554FDOQ3775554

Authors: Zofia Adamowicz, Roman Kossak 

Publication date: 1986

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

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

zbMATH Keywords

collection schemebounded quantifiersarithmetical formulasinduction scheme

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

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
• Title not available (Why is that?)
• Σ_{𝑛}-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)