Computable functionals and arithmetic of ordinal types

DOI10.1007/BF00969163zbMath0649.03033MaRDI QIDQ1105588

V. A. Ganov

Publication date: 1986

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

computable functionalsarithmetic of ordinal typesn-th degree arithmetic

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Second- and higher-order arithmetic and fragments (03F35)

Cites Work

• Contributions to the Theory of Optimal Control. A General Procedure for the Computation of Switching Manifolds
• Unnamed Item

This page was built for publication: Computable functionals and arithmetic of ordinal types