×

zbMATH — the first resource for mathematics

Arithmetical necessity, provability and intuitionistic logic. (English) Zbl 0409.03011

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