Primitive recursive reverse mathematics

From MaRDI portal
Publication:6050165

DOI10.1016/j.apal.2023.103354arXiv2210.13080MaRDI QIDQ6050165

Nikolay Bazhenov, Marta Fiori-Carones, Alexander G. Melnikov, Lu Liu

Publication date: 12 October 2023

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2210.13080




Related Items (1)



Cites Work


This page was built for publication: Primitive recursive reverse mathematics