Separation of Bounded Arithmetic using a consistency statement

Separation of Bounded Arithmetic using a consistency statement

24b83045f3e82fb02ee8211b46a2e6de?s=128

Yoriyuki Yamagata

September 09, 2019
Tweet