Hierarchies of predicates of finite types

DOI10.1090/memo/0051zbMath0178.32102OpenAlexW2080818016MaRDI QIDQ5567859

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

Related Items (1)

Hyperanalytic Predicates

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