PROVI and ACA_0^+
- Date: Wednesday 15 March 2017, 14:00 – 15:30
- Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
- Type: Proofs, Constructions and Computations, Seminars, Pure Mathematics
- Cost: Free
François Dorais, University of Vermont. Part of the proofs, constructions and computations seminar series.
I will show that the set-theoretic system PROVI (when limited to include only set-induction) is bi-interpretable with the subsystem ACA_0^+ of second-order arithmetic.
François Dorais, University of Vermont