43 citations · 72 across the 14 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.LO2016
A Sound, Complete and Effective Second Order Game Semantics
Stefano Berardi
We define a game semantics for second order classical arithmetic PA2 (with quantifiers over predicates on integers and full comprehension axiom). Our semantics is effective: moves…
cs.LO2016
Proceedings Sixth International Workshop on Classical Logic and Computation
Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi
The workshop series intends to cover research that investigates the computational aspects of classical logic and mathematics. Its focus is on unwinding the computational content of…
math.LO2016
Ramsey's Theorem for Pairs and Colors as a Sub-Classical Principle of Arithmetic
Stefano Berardi, Silvia Steila
The purpose is to study the strength of Ramsey's Theorem for pairs restricted to recursive assignments of -many colors, with respect to Intuitionistic Heyting Arithmetic. We pro…