Partial enumerable and finite functionals

DOI10.1007/BF01669439zbMath0401.03020OpenAlexW1997447938MaRDI QIDQ1254996

H. Vogel

Publication date: 1978

Published in: Algebra and Logic (Search for Journal in Brave)

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

zbMATH Keywords

Recursion TheoryFinite FunctionalsPartial Continuous Countable Functionals

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Computability and recursion theory (03D99)

Cites Work

• Theorems of the Prüfer-Kulikov type
• A Note on Continuous Functionals
• Unnamed Item
• Unnamed Item

This page was built for publication: Partial enumerable and finite functionals