K-theory of log-schemes I

Abstract

We set down some basic facts about the algebraic and topological K-theory of log-schemes. In particular, we show that the l-adic topological log-étale K-theory of log-regular schemes computes the l-adic étale K-theory of the largest open sets where the log-structure is trivial.