While going through a forum post (http://mathforum.org/kb/message.jspa?messageID=40112), I found the following paper mentioned:
87a:12014 12J10 13A18 Ribenboim, Paulo (3-QEN) Equivalent forms of Hensel's lemma. (English)
Exposition. Math. 3 (1985), no. 1, 3--24.
I have been unable to find the paper mentioned. Can someone help me obtain a digital copy of this paper? Please let me know, and apologies if this isn't the right forum to pose this question.
It seems to be included in this book, but it's £99;
https://www.bookdepository.com/Collected-Works-Ordered-Structures-Mathematical-Logic-Paulo-Ribenboim/9783319721439
There's a chapter here that looks promising by Franz-Viktor Kuhlmann; https://math.usask.ca/~fvk/bookch9.pdf