A k denotational semantics for map theory in ZFC + SI - Berline, Chantal; Grue, Klaus (1996)