An orderfield property for stochastic games when one player controls transition probabilities · Study