Ich übersetze ein Buch über LISP und es berührt natürlich einige Elemente des Kalküls. Daher wird dort neben einigen Modellen des λ- Kalküls ein Begriff der Extensionalität erwähnt , nämlich: P ω und D ∞ (ja, mit der Unendlichkeit oben). Und es wird gesagt, dass P ω eine Dehnung ist, während D ∞ nicht ist.
Aber ... Ich habe den Lambda-Kalkül von Barendregt durchgesehen , es ist Syntax und Semantik , und (hoffentlich richtig) genau das Gegenteil gelesen: ist nicht extensional, D ∞ ist.
Kennt jemand dieses seltsame Modell ? Könnte es genau das gleiche Modell wie D ∞ sein , aber falsch geschrieben? Habe ich Recht mit der Erweiterbarkeit der Modelle?
Vielen Dank.