Interpretation of constructive multi-typed theory in the theory of arithmetical truth
From MaRDI portal
Publication:266212
DOI10.1134/S1995080215040034zbMath1347.03104MaRDI QIDQ266212
Publication date: 13 April 2016
Published in: Lobachevskii Journal of Mathematics (Search for Journal in Brave)
Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50)
Related Items (1)
Cites Work
This page was built for publication: Interpretation of constructive multi-typed theory in the theory of arithmetical truth