A logical presentation of the continuous functionals

DOI10.2307/2275585MaRDI QIDQ4372919zbMATH OpenOpenAlexFDO

Authors Erik Palmgren, Viggo Stoltenberg-Hansen

Publication date 2 February 1998

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275585

zbMATH Keywords

type structuresKleene-Kreisel continuous functionallogically presented domain

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• Publication:4729775
• Characterizing the continuous functionals
• A nonstandard characterisation of the type-structure of continuous functionals over the reals
• Publication:4938550
• The continuous functionals as limit spaces

Cites work

• Categorical Horn classes. I
• Characterizing the continuous functionals
• Filter spaces and continuous functionals
• Total sets and objects in domain theory

Cited in

(7)

• Hyperfinite type structures
• Characterizing the continuous functionals
• The continuous functionals as limit spaces
• A nonstandard characterisation of the type-structure of continuous functionals over the reals
• scientific article; zbMATH DE number 1405571 (Why is no real title available?)
• scientific article; zbMATH DE number 4114613 (Why is no real title available?)
• scientific article; zbMATH DE number 4187807 (Why is no real title available?)

This page was built for publication: A logical presentation of the continuous functionals

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