Funding for this research was provided by:
Volkswagen Foundation (Forcing: Conceptual Change in the Foundations of Mathematics)
H2020 European Research Council (ERC-2014-CoG 648276 (AUTAR))
Universität Konstanz
Article History
Received: 26 June 2020
Accepted: 27 July 2021
First Online: 16 September 2021