Euler's \(\varphi\)-function in the context of \(I\Delta_ 0\)

zbMath0821.03028MaRDI QIDQ1893232

Marc Jumelet

Publication date: 3 July 1995

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

zbMATH Keywords

recursion equationsEuler's \(\varphi\)-function\(\Delta_ 0\)-formula\(I\Delta_ 0\)

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: Euler's \(\varphi\)-function in the context of \(I\Delta_ 0\)