\documentclass[12pt]{article}
\usepackage{amsmath,amssymb,amsfonts}
\begin{document}
Berarducci and Otero [1] have constructed a recursive nonstandard model for normal open induction with cofinal primes. We modify their method to construct a recursive nonstandard model for open induction with cofinal primes in which the GCD property also holds.
\end{document}