124
click to vote
JSYML
2006
15 years 3 months ago
2006
We define a notion of realizability, based on a new assignment of formulas, which does not care for precise witnesses of existential statements, but only for bounds for them. The ...