\documentclass[10pt,a4paper]{amsart}

%Math packages
%--------------------------------------
\usepackage[urlbordercolor={.8 0 0}]{hyperref}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{geometry}
\usepackage{mathrsfs}
%\usepackage{proof} %for proofs
%--------------------------------------

\geometry{top=75pt}  \geometry{bottom=75pt}
\geometry{left=75pt} \geometry{right=75pt}

%Propositions, Lemmas, etc.
%--------------------------------------
\newtheorem{Prop}{Proposition}
\newtheorem{Lemm}[Prop]{Lemma}
\newtheorem{Theo}[Prop]{Theorem}
\newtheorem{Coro}[Prop]{Corollary}

%%%

\title{Where do we go from here?}

\author{Logos C.\ Non-Classicus}

\address{Steklov Mathematical Institute, Moscow, Russia}

\email{scan2023@mi-ras.ru}

%%%

\begin{document}

%%%

\maketitle

%

The text must be {\bfseries at least 2 pages} and {\bfseries at most 3 pages} long (in the present format), excluding the bibliography. Please avoid using non-standard packages.

%

\medskip
\paragraph{\itshape Acknowledgements.} %optional
The work was partially supported by the \rule{43pt}{0.25pt} Foundation (Project \rule{43pt}{0.25pt}).

%%%

\begin{thebibliography}{9}

\bibitem{Goed-1931} %
K.\ G\"{o}del.
\"{U}ber formal unentscheidbare S\"{a}tze der Principia Mathematica und~ver\-wand\-ter Systeme I.
\emph{Monatshefte f\"{u}r Mathematik Physik}, 38, 173--198, 1931.

\bibitem{Tar-1944} %
A.\ Tarski.
The semantic conception of truth.
\emph{Philosophy and Phenomenological Research}, 4(3), 341--376, 1944.
%\href{http://dx.doi.org/10.2307/2102968}{DOI:\,10.2307/2102968}

\bibitem{Tur-1936} %
A.\,M.\ Turing.
On computable numbers with an application to the Ent\-schei\-dungs\-problem.
\emph{Proceedings of the London Mathematical Society}, 42, 230--265, 1936.
%\href{http://dx.doi.org/10.1112/plms/s2-42.1.230}{DOI:\,10.1112/plms/s2-42.1.230}

\bibitem{Auth-2022}
\dots

\end{thebibliography}

%%%

\end{document}
