@misc{indiciae95984b6ed1a5,
  title = {Recognizable sets and Woodin cardinals: Computation beyond the constructible universe},
  author = {Merlin Carl and Philipp Schlicht and Philip Welch},
  year = {2015},
  doi = {10.1016/j.apal.2017.12.007},
  url = {https://arxiv.org/abs/1512.06101},
  note = {Source identifier: 1512.06101}
}