  We develop singular Weyl-Titchmarsh-Kodaira theory for Jacobi operators. In
particular, we establish existence of a spectral transformation as well as
local Borg-Marchenko and Hochstadt-Liebermann type uniqueness results.
