Open AccessExponentiation of Scott Formal Topologies
Author(s) -
Maria Emilia Maietti,
Silvio Valentini
Publication year - 2004
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2004.08.005
Subject(s) - exponentiation , network topology , computer science , arithmetic , theoretical computer science , topology (electrical circuits) , programming language , algebra over a field , mathematics , computer network , pure mathematics , combinatorics , mathematical analysis
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom