1. Faculty of Engineering and Physical Sciences
  2. Events
  3. School of Mathematics
  4. Research and innovation
  5. Pure Mathematics
  6. PROVI and ACA_0^+

Pure Mathematics event

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
  • Download: Outlook, iCal

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