\documentclass[12pt]{article}
\usepackage{amsmath,amssymb,amsfonts}
\begin{document}
Tanaka (1997) proved a powerful generalization of Friedmanâs selfembedding theorem that states that given a countable nonstandard
model (M;A) of the subsystem WKL0 of second order arithmetic,
and any element m of M, there is a self-embedding j of (M;A) onto
a proper initial segment of itself such that j fixes every predecessor of
m.
\end{document}