Those are the correct names.
keep in mind that player can only be used from the command console in the game, in which case you need to /c in front to make it a command, which disables all achievements. also it's game.player.
if you're doing this in a script, you want to use a for loop to run through all of the game.forces, or use game.forces["player"].technologies.
Also I don't look here very often, for questions like this, you're best off asking on the forums.