Generics for computable Mathias forcing

Peter Cholak, Damir D. Dzhafarov, Jeffry L. Hirst, Theodore A. Slaman. Generics for computable Mathias forcing. Annals of Pure and Applied Logic, 165(9):1418-1428, 2014. [doi]

Abstract

Abstract is missing.