2 citations · 4 across the 7 of their papers we have counts for
1 paper · 1 filter
Sam Buss, Pavel Pudlák
The Student-Teacher game is an extension of Herbrand's theorem. In the game, Student and Teacher take turns giving values for existentially and universally quantified variables, an…