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]

Authors

Peter Cholak

This author has not been identified. Look up 'Peter Cholak' in Google

Damir D. Dzhafarov

This author has not been identified. Look up 'Damir D. Dzhafarov' in Google

Jeffry L. Hirst

This author has not been identified. Look up 'Jeffry L. Hirst' in Google

Theodore A. Slaman

This author has not been identified. Look up 'Theodore A. Slaman' in Google