Logische Möglichkeiten für die Physik nach MIP*=RE