The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic

DOI10.1007/S001530050082zbMath0894.03035OpenAlexW2027277577MaRDI QIDQ1386675

Makoto Tatsuta, Mitsuru Tada

Publication date: 26 May 1998

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

Full work available at URL: https://doi.org/10.1007/s001530050082

zbMATH Keywords

divisionBounded Arithmeticprovably total

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

This page was built for publication: The function \(\lfloor a/m\rfloor\) in sharply bounded arithmetic