We study topological constructions in the recursion theoretic framework of the lattice of recursively enumerable open subsets of a topological space X. Various constructions produce complemented ...

We extend the priority method in α-recursion theory to certain arguments with no a priori bound on the required preservations by proving the splitting theorem for all admissible α. THEOREM: Let C be a ...

In cognitive tests for recognizing certain types of patterns, crows outperformed monkeys. When you purchase through links on our site, we may earn an affiliate commission. Here’s how it works. Crows ...