scientific article; zbMATH DE number 1048040

MaRDI QIDQ4348126zbMATH OpenFDO

Authors Robert A. Di Paola, Franco Montagna

Publication date 26 January 1998

zbMATH Keywords

fragments of arithmeticpolynomial time hierarchyreflection principles

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) First-order arithmetic and fragments (03F30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• Proof theoretic analysis by iterated reflection
• Proof-theoretic analysis by iterated reflection
• Reflection principles and provability algebras in formal arithmetic
• A small reflection principle for bounded arithmetic

Cited in

(11)

• Structure and definability in general bounded arithmetic theories
• Bounded arithmetic and the polynomial hierarchy
• Separations of theories in weak bounded arithmetic
• Obituary: Franco Montagna (1948--2015)
• Iterated local reflection versus iterated consistency
• scientific article; zbMATH DE number 5778051 (Why is no real title available?)
• Division in the Theory S02+ of Bounded Arithmetic.
• A small reflection principle for bounded arithmetic
• Proof theoretic analysis by iterated reflection
• scientific article; zbMATH DE number 1431685 (Why is no real title available?)
• Construction of models of bounded arithmetic by restricted reduced powers

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