Partial Continuous Functions and Admissible Domain Representations

DOI10.1093/LOGCOM/EXM034MaRDI QIDQ5441121zbMATH OpenOpenAlexFDO

Authors Fredrik Dahlgren

Publication date 7 February 2008

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/405bc4ab857f9fa72c0ce36af428f77620d94344

zbMATH Keywords

computability theorycomputable analysisdomain representationsdomain theory

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65) Constructive and recursive analysis (03F60) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• Logical Approaches to Computational Barriers
• scientific article; zbMATH DE number 7703281
• Extended admissibility.
• scientific article; zbMATH DE number 1746044
• Representability of locally compact regular spaces by domains and formal spaces

Cited in

(5)

• Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
• Admissible functionals and infinite-valent functions
• Partial recursive functions and finality
• Computable analysis with applications to dynamic systems
• Logical Approaches to Computational Barriers

This page was built for publication: Partial Continuous Functions and Admissible Domain Representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5441121)