1: \begin{abstract}
2: \begin{spacing}{0.9}
3: \noindent In 2005, Borisov and Sapir proved that ascending HNN extensions
4: of finitely generated linear groups are residually finite. Subsequently,
5: Dru\textcommabelow{t}u and Sapir noted the existence of finitely generated
6: non-linear residually finite groups based on the work of Borisov and
7: Sapir. In 2017, Kharlampovich, Myasnikov and Sapir showed that there
8: exist finitely generated non-linear solvable residually finite groups.
9: In this paper, we construct the first examples of finitely generated
10: non-linear solvable residually 2 groups.\vspace{1cm}
11:
12: \noindent \textbf{Keywords:} HNN extension, Residually $p$ groups,
13: Baumslag\textendash Solitar groups\medskip{}
14:
15: \noindent \textbf{Mathematics Subject Classification 2020:} 20E26,
16: 20F05, 20F16
17: \end{spacing}
18: \end{abstract}
19: