Completions of Kleene's second model

Sebastiaan A. Terwijn

We investigate completions of partial combinatory algebras (pcas), in particular of Kleene's second model ${\mathcal{K}}_2$ and generalizations thereof. We consider weak and strong n…