Total sets and objects in domain theory

DOI10.1016/0168-0072(93)90038-FzbMath0776.03031MaRDI QIDQ1210138

Ulrich Berger

Publication date: 16 May 1993

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

totalityhereditarily effective operationsKreisel's density theoremScott-Ershov domainstheorem of Kreisel-Lacombe- Shoenfield

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

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