Καλησπέρα παιδιά,

σχετικά με την άσκηση 5 (δλδ  την 6.28 του βιβλίου) θα δεχτούμε δύο λύσεις:

1. να δείξετε ότι υπάρχει total emulation ανάμεσα στα δύο μοντέλα. Για αυτή την περίπτωση χρησιμοποιήστε τον ορισμό του footnote 4 από την σελίδα 159 του βιβλίου. Ο ορισμός 6.25 δεν μπορεί να δουλέψει σε αυτή την περίπτωση αφού αποτυγχάνει το pre. Το total emulation όμως είναι αυτό που ορίζεται στο τέλος του ορισμού 6.25. Άρα χρησιμοποείτε τον ορισμό από του footnote 4 της σελίδας 159 και το τέλος του ορισμού 6.25

2. δείξτε pointed emulation ανάμεσα στα 2 μοντέλα (σε αυτό με τα 2 points και σε αυτό με τα 4 points) χρησιμοποιωτας είτε τον ορισμό 6.25 είτε τον ορισμό από το footnote 4. Νομίζω ότι είναι σαφές ανάμεσα σε ποια points θα πρέπει να δειχθεί το emulation.

Ευχαριστώ θερμά τον Θωμά και την Χριστίνα που εντόπισαν την ασάφεια.

Ό,τι άλλο προκύψει με ενημερώνετε.

Καλή επιτυχία!