scientific article; zbMATH DE number 806756

MaRDI QIDQ4850557zbMATH OpenFDO

Authors Rineke Verbrugge

Publication date 2 May 1996

zbMATH Keywords

feasible interpretabilityGödel numbersPeano Arithmetic

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Recommendations

• scientific article; zbMATH DE number 440488
• scientific article; zbMATH DE number 3957096
• The formalization of interpretability

Cited in

(5)

• scientific article; zbMATH DE number 440488 (Why is no real title available?)
• scientific article; zbMATH DE number 3957096 (Why is no real title available?)
• scientific article; zbMATH DE number 3892594 (Why is no real title available?)
• Complexity of the interpretability logic IL
• The principles of interpretability

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