DOI10.1017/S1755020318000461zbMath1532.03012arXiv1610.00213MaRDI QIDQ6278174
Damir D. Dzhafarov
Publication date: 1 October 2016
Mathematics Subject Classification ID
Foundations of classical theories (including reverse mathematics) (03B30)