Title: Galois theory for combinatory algebras and its application to recursion theory