1 citations · 1 across the 4 of their papers we have counts for
Showing 2014 · math.LOShow all
2 papers · 2 filters
math.LO2014★ 1 cited
Effective Operations of Type 2 in Pcas
Eric Faber, Jaap van Oosten
We exhibit a way of "forcing a functional to be an effective operation" for arbitrary partial combinatory algebras (pcas). This gives a method of defining new pcas from old ones fo…
math.LO2014
More on Geometric Morphisms between Realizability Toposes
Eric Faber, Jaap van Oosten
Geometric morphisms between realizability toposes are studied in terms of morphisms between partial combinatory algebras (pcas). The morphisms inducing geometric morphisms (the {\e…