Also called Singular homology of arithmetic schemes.
Arithmetic schemes?
What is the relation with http://www.math.uiuc.edu/K-theory/0560?
Unrelated but interesting: p-adic étale Tate twists and arithmetic duality, by Kanetomo Sato, http://www.math.uiuc.edu/K-theory/0801
Schmidt, extended version here. “We construct a singular homology theory on the category of schemes of finite type over a Dedekind domain and verify several basic properties.”
arXiv: Experimental full text search
AAG (Arithmetic algebraic geometry)
Arithmetic
nLab page on Schmidt homology