Dominik Kirst
Results
1
issues of
Dominik Kirst
This PR contributes the undecidability of several first-order axiomatisations of finitary set theories and classical arithmetic. The code was developed with @HermesMarc during preparation of the [extended version](https://www.ps.uni-saarland.de/extras/axiomatisations-ext/) of our...