The journal
Open the journal →The conversation starts in the journal — be the first to post.
About forcing
Forcing in computability theory is a modification of Paul Cohen's original set-theoretic technique of forcing to deal with computability concerns.
Everything about forcing →