Open AccessA Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals
Author(s) -
Dag Normann
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.007
Subject(s) - mathematics , discretization , domain (mathematical analysis) , type (biology) , real line , pure mathematics , line (geometry) , discrete mathematics , mathematical analysis , geometry , ecology , biology
We extend a hyperfinite discretisation of the real line to a typed structure of hyperfinite functionals, and we show that the hereditarily near-standard functionals correspond to the continuous functionals over the reals obtained from domain theory.
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