scientific article; zbMATH DE number 1303441
From MaRDI portal
Publication:4250050
zbMath0933.03076MaRDI QIDQ4250050
Publication date: 29 March 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting arithmeticprovability logicRobinson's arithmeticinterpretation of a theory in a constructive arithmetical theory
First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Relative consistency and interpretations (03F25)
Related Items (1)
This page was built for publication:
