A logical presentation of the continuous functionals

DOI10.2307/2275585zbMath0890.03017OpenAlexW2099750746MaRDI QIDQ4372919

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)

Related Items (1)

Hyperfinite type structures

Cites Work

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

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