Effective operations of type 2 in PCAs

DOI10.3233/COM-150048zbMath1437.03136arXiv1408.4984OpenAlexW2121004126MaRDI QIDQ5740205

Eric Faber, Jaap van Oosten

Publication date: 25 July 2016

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1408.4984

zbMATH Keywords

realizabilitycomputability theorypartial combinatory algebraTuring degreerealizability toposcomputable functionaleffective operation

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Higher-type and set recursion theory (03D65) Abstract and axiomatic computability and recursion theory (03D75)

Related Items

Internal Partial Combinatory Algebras and their Slices, Characterizing partitioned assemblies and realizability toposes, Third-order functionals on partial combinatory algebras

Cites Work

• A general form of relative recursion
• Realizability with a local operator of A. M. Pitts
• Recursive Functionals and Quantifiers of Finite Types I
• Relative computability in the effective topos
• Ordered partial combinatory algebras
• More on Geometric Morphisms between Realizability Toposes
• Unnamed Item