  It is a classical result of Ginibre that the normalized bulk $k$-point
correlation functions of a complex $n\times n$ Gaussian matrix with independent
entries of mean zero and unit variance are asymptotically given by the
determinantal point process on $\mathbb{C}$ with kernel
$K_{\infty}(z,w):=\frac{1}{\pi}e^{-|z|^2/2-|w|^2/2+z\bar{w}}$ in the limit
$n\to\infty$. In this paper, we show that this asymptotic law is universal
among all random $n\times n$ matrices $M_n$ whose entries are jointly
independent, exponentially decaying, have independent real and imaginary parts
and whose moments match that of the complex Gaussian ensemble to fourth order.
Analogous results at the edge of the spectrum are also obtained. As an
application, we extend a central limit theorem for the number of eigenvalues of
complex Gaussian matrices in a small disk to these more general ensembles.
These results are non-Hermitian analogues of some recent universality results
for Hermitian Wigner matrices. However, a key new difficulty arises in the
non-Hermitian case, due to the instability of the spectrum for such matrices.
To resolve this issue, we the need to work with the log-determinants
$\log|\det(M_n-z_0)|$ rather than with the Stieltjes transform
$\frac{1}{n}\operatorname {tr}(M_n-z_0)^{-1}$, in order to exploit Girko's
Hermitization method. Our main tools are a four moment theorem for these
log-determinants, together with a strong concentration result for the
log-determinants in the Gaussian case. The latter is established by studying
the solutions of a certain nonlinear stochastic difference equation. With some
extra consideration, we can extend our arguments to the real case, proving
universality for correlation functions of real matrices which match the real
Gaussian ensemble to the fourth order. As an application, we show that a real
$n\times n$ matrix whose entries are jointly independent, exponentially
decaying and whose moments match the real Gaussian ensemble to fourth order has
$\sqrt{\frac{2n}{\pi}}+o(\sqrt{n})$ real eigenvalues asymptotically almost
surely.
