Speaker Deck

Consistency proof of a subsystem of PV with substitution inside a bounded arithmetic

by Yoriyuki Yamagata

Published December 26, 2017 in Science