Numeral completeness of weak theories of arithmetic

DOI10.1093/LOGCOM/EXAD075MaRDI QIDQ6915783zbMATH OpenFDO

Authors Reinhard Kahle, Isabel Oitavem, P. G. Santos

Publication date 15 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

zbMATH Keywords

metamathematicsweak theory of arithmeticnumeral completeness

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

This page was built for publication: Numeral completeness of weak theories of arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6915783)