PROVI and ACA_0^+
- Date: Wednesday 15 March 2017, 14:00 – 15:30
- Location: Mathematics Level 8, MALL 1 & 2, School of Mathematics
- Type: Pure Mathematics seminars, Proofs, constructions and computations seminars, Seminar series
- 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