collaborators

1 paper

math.LO2014

Mass problems and intuitionistic higher-order logic

Sankha S. Basu, Stephen G. Simpson

In this paper we study a model of intuitionistic higher-order logic which we call \emph{the Muchnik topos}. The Muchnik topos may be defined briefly as the category of sheaves of s…