1 problem

Assume that $V=L$. A forcing notion $mathbb{P}$ is said to add an OTM-parameter-recognizable set if, in a forcing extension, it adds a set recognizable by an ordinal Turing machin…