Supongo que por extensionalidad te refieres a la ley
Si esto es lo que quiere decir entonces el modelo gráfico P ω esnoextensional, mientras que de Dana Scott D ∞ es (supongo D ∞ es el modelo de Dana Scott, del ß xi eta lambda -calculus).
(∀x.fx=gx)⟹f=g.
PωD∞D∞βξηλ
Para ver esto, recuerde que es una red algebraica con la propiedad de que su espacio de mapas continuos [ P ω → P ω ] es una retracción adecuada de P ω , es decir, hay mapas continuos
Λ : P ω → [ P ω → P ω ]
y
Γ : [ P ω → P ω ] → P ω
tal que Λ ∘ Γ = i d pero ΓPω[Pω→Pω]Pω
Λ:Pω→[Pω→Pω]
Γ:[Pω→Pω]→Pω
Λ∘Γ=id . Dado
u , v ∈ P ω , la aplicación
u v se interpreta como
Λ ( u ) ( v ) . Ahora tome
u y
u ′ de modo que
u ≠ u ′ pero
Λ ( u ) = Λ ( v ) (estos existen porque
Γ ∘ Λ ≠ i d ). Entonces para todos
v tenemos
Γ∘Λ≠idu,v∈PωuvΛ(u)(v)uu′u≠u′Λ(u)=Λ(v)Γ∘Λ≠idv todavía
u ≠ u ′ . La extensión se viola.
uv=uv′u≠u′
[D∞→D∞]D∞
Λ:D∞→[D∞→D∞]
Γ:[D∞→D∞]→D∞
u,u′∈D∞uv=u′vv∈D∞Λ(u)(v)=Λ(u′)(v)v∈D∞Λ(u)=Λ(u′)u=Γ(Λ(u))=Γ(Λ(u′))=u′
Γ∘Λ=idΛ∘Γ=idλ
λX.u(X)=Γ(v↦u(v))
u(X)Xvu(v)λλX.u(X)ΓΛ∘Γ=id(λX.u(X))w=Λ(Γ(v↦u(v)))(w)=(v↦u(v))(w)=u(w)
β