Hierarchies of predicates of finite types

DOI10.1090/MEMO/0051MaRDI QIDQ5567859zbMATH OpenOpenAlexFDO

Authors Douglas A. Clarke

Publication date 1964

Published in Memoirs of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/memo/0051

zbMATH Keywords

recursion theory, constructive mathematics

Cited in

(1)

• Hyperanalytic Predicates

This page was built for publication: Hierarchies of predicates of finite types

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