Generics for computable Mathias forcing
Cholak, Peter A., Dzhafarov, Damir D., Hirst, Jeffry L., Slaman, Theodore A.Volume:
165
Language:
english
Journal:
Annals of Pure and Applied Logic
DOI:
10.1016/j.apal.2014.04.011
Date:
September, 2014
File:
PDF, 558 KB
english, 2014