Reflection into models of finite decidable FP-sketches in an arithmetic universe