We prove that Scott formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that Scott domains are exponentiable in the category of open locales.
Exponentiation of Scott formal topologies
MAIETTI, MARIA EMILIA;VALENTINI, SILVIO
2004
Abstract
We prove that Scott formal topologies are exponentiable in the category of inductively generated formal topologies. From an impredicative point of view, this means that Scott domains are exponentiable in the category of open locales.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
1-s2.0-S1571066104050868-main.pdf
accesso aperto
Tipologia:
Published (publisher's version)
Licenza:
Creative commons
Dimensione
368.09 kB
Formato
Adobe PDF
|
368.09 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
