×

zbMATH — the first resource for mathematics

On interpretability in theories containing arithmetic. II. (English) Zbl 0487.03032

MSC:
03F25 Relative consistency and interpretations
03B45 Modal logic (including the logic of norms)
03F30 First-order arithmetic and fragments
PDF BibTeX XML Cite
Full Text: EuDML