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

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

54b239de0720a684d3dc1626fff722c8?s=128

Yoriyuki Yamagata

December 26, 2017
Tweet