This open question was mostly resolved in the 1990s with the development of game semantics and also with techniques involving logical relations.
Αυτό το ανοιχτό ερώτημα απαντήθηκε σε μεγάλο βαθμό κατά τη δεκαετία του 1990 με την ανάπτυξη των game semantics και με τεχνικές που περιλάμβαναν λογικές σχέσεις.