Interpolation and the interpretability logic of PA

DOI10.1305/NDJFL/1153858645zbMath1114.03048OpenAlexW1975821687MaRDI QIDQ867400

Evan Goris

Publication date: 15 February 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1153858645

zbMATH Keywords

interpolationinterpretability logicprovability logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) First-order arithmetic and fragments (03F30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

This page was built for publication: Interpolation and the interpretability logic of PA