Arch Math Log
September 2020
We reimplement the creature forcing construction used by Fischer et al. (Arch Math Log 56(7-8):1045-1103, 2017. 10.
© LitMetric 2025. All rights reserved.