?-Complete a-spaces

DOI10.1007/BF01069155MaRDI QIDQ3666279zbMATH OpenOpenAlexFDO

Authors Yuri L. Ershov

Publication date 1982

Published in Cybernetics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01069155

zbMATH Keywords

denotational semanticsfinite type computable functionalsomega- complete A-space

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Topological spaces and generalizations (closure spaces, etc.) (54A05) Lower separation axioms ((T_0)--(T_3), etc.) (54D10) Abstract data types; algebraic specification (68Q65)

Cites work

• Effectively given domains
• scientific article; zbMATH DE number 3433146 (Why is no real title available?)

This page was built for publication: ?-Complete a-spaces

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