scientific article; zbMATH DE number 937389

MaRDI QIDQ4896530zbMATH OpenFDO

Authors Seán Matthews, Alex Simpson

Publication date 20 October 1996

zbMATH Keywords

reflectionPeano arithmeticderivability conditionsarithmetic with inductionrecursively axiomatized arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Recommendations

• A note on derivability conditions
• scientific article; zbMATH DE number 3909160
• Reflexion theorems
• Proving Theorems from Reflection
• scientific article; zbMATH DE number 4103716
• Some problems for conditionalization and reflection
• Proof theory of reflection
• On derivability
• Publication:4487298
• A Reflection Principle for Calculating the Derivatives of a Polynomial

Cited in

(1)

• MODEL THEORY AND PROOF THEORY OF THE GLOBAL REFLECTION PRINCIPLE

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