scientific article; zbMATH DE number 937389

zbMATH Open0858.03055MaRDI QIDQ4896530FDOQ4896530

Authors: Seán Matthews, Alex Simpson 

Publication date: 20 October 1996

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

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

zbMATH Keywords

reflectionPeano arithmeticderivability conditionsarithmetic with inductionrecursively axiomatized arithmetic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

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)