Saya berasumsi bahwa secara ekstensionalitas yang Anda maksud adalah hukum
Jika ini adalah apa yang Anda maksud maka model grafik P ω adalahtidakekstensional, sementara Dana Scott D ∞ adalah (saya nyana D ∞ model Dana Scott dari ß ξ n λ kalkulus).
(∀x.fx=gx)⟹f=g.
PωD∞D∞βξηλ
Untuk melihat ini, ingat bahwa adalah kisi aljabar dengan properti bahwa ruang peta kontinu [ P ω → P ω ] adalah penarikan yang tepat dari P ω , yaitu, ada peta kontinu
Λ : P ω → [ P ω → P ω ]
dan
Γ : [ P ω → P ω ] → P ω
sedemikian rupa sehingga Λ ∘ Γ = i d tetapi ΓPω[Pω→Pω]Pω
Λ:Pω→[Pω→Pω]
Γ:[Pω→Pω]→Pω
Λ∘Γ=id . Diberikan
u , v ∈ P ω , aplikasi
u v ditafsirkan sebagai
Λ ( u ) ( v ) . Sekarang mengambil
u dan
u ' sehingga
u ≠ u ' tapi
Λ ( u ) = Λ ( v ) (yang ada ini karena
gamma ∘ Λ ≠ i d ). Kemudian untuk semua
v kita memiliki
Γ∘Λ≠idu,v∈PωuvΛ(u)(v)uu′u≠u′Λ(u)=Λ(v)Γ∘Λ≠idv belum
u ≠ u ′ . Ekstensionalitas dilanggar.
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)
β