Kleene computable functionals and the higher order existence property

DOI10.1016/0022-4049(88)90098-9zbMath0647.03048OpenAlexW2066195626MaRDI QIDQ1104319

Andrej Scedrov

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1016/0022-4049(88)90098-9

zbMATH Keywords

constructive mathematicsintuitionistic type theoryconstructive higher order arithmetichigher order existence propertyhigher order recursion theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Higher-type and set recursion theory (03D65)

Related Items (2)

Sur les équation fonctionelles aux itérées. (On iterated functional equations) ⋮ Aspects of Categorical Recursion Theory

Cites Work

• Artin glueing
• Recursive Functionals and Quantifiers of Finite Types I
• La logique des topos
• Tripos theory
• General Recursion Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kleene computable functionals and the higher order existence property