The provability logic for \(\Sigma_ 1\)-interpolability
From MaRDI portal
Publication:688429
DOI10.1016/0168-0072(93)90212-VzbMath0802.03014OpenAlexW2066855259MaRDI QIDQ688429
Publication date: 2 January 1994
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(93)90212-v
Kripke semanticsPeano arithmeticinterpretabilityprovability logicinterpolation propertyfixed-point property
Related Items
Cites Work
This page was built for publication: The provability logic for \(\Sigma_ 1\)-interpolability