Total sets and objects in domain theory
From MaRDI portal
Publication:1210138
DOI10.1016/0168-0072(93)90038-FzbMath0776.03031MaRDI QIDQ1210138
Publication date: 16 May 1993
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
totalityhereditarily effective operationsKreisel's density theoremScott-Ershov domainstheorem of Kreisel-Lacombe- Shoenfield
Related Items
Interpreting higher computations as types with totality ⋮ Rice’s Theorem in Effectively Enumerable Topological Spaces ⋮ Recursive topological spaces ⋮ Unnamed Item ⋮ Representability of locally compact regular spaces by domains and formal spaces ⋮ Computable elements and functions in effectively enumerable topological spaces ⋮ Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces ⋮ Higher-order concepts for the potential infinite ⋮ Normal forms, linearity, and prime algebraicity over nonflat domains ⋮ Nonflatness and totality ⋮ Coherence Spaces and Uniform Continuity ⋮ Domain representability of metric spaces ⋮ A logical presentation of the continuous functionals ⋮ Equational theories for inductive types ⋮ Effectivity and effective continuity of multifunctions ⋮ A Relationship between Equilogical Spaces and Type Two Effectivity ⋮ Can partial indexings be totalized? ⋮ On effective topological spaces ⋮ On the ubiquity of certain total type structures ⋮ Uniform Heyting arithmetic ⋮ A constructive theory of continuous domains suitable for implementation ⋮ Equilogical spaces ⋮ Concrete models of computation for topological algebras ⋮ Domain representations of topological spaces
Cites Work
- The system \({\mathcal F}\) of variable types, fifteen years later
- Maximal and everywhere-defined functionals
- LCF considered as a programming language
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Filter spaces and continuous functionals
- Effective operations on partial recursive functions
- Effectively given domains and lambda-calculus models
- A new constructive logic: classic logic
- Theorie der Numerierungen I
- Algorithmic operators in constructive metric spaces
- Recursive metric spaces
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item