Representations and the foundations of mathematics
From MaRDI portal
Publication:6327391
DOI10.1215/00294527-2022-0001arXiv1910.07913MaRDI QIDQ6327391
Publication date: 16 October 2019
Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)
This page was built for publication: Representations and the foundations of mathematics