There is a paper by FresolaFressola and Krone here Integer Construction by InductionInteger Construction by Induction that seems to do what you want to achieve.
fix the link against bitrot, correct the spelling of one of the authors, and add the second author for completeness
Ingo Blechschmidt
- 3.3k
- 1
- 26
- 35