Let
be a complete discrete valuation ring with residue field
.
We define a cyclic homology theory for algebras over
, by lifting them to
free algebras over ,
which we enlarge to tube algebras and complete suitably. We show that
this theory may be computed using any pro-dagger algebra lifting of an
-algebra.
We show that our theory is polynomially homotopy invariant, excisive, and
matricially stable.