171
click to vote
APAL
2011
14 years 10 months ago
2011
Abstract. We give classical proofs, strengthenings, and generalizations of Lecomte’s characterizations of analytic ω-dimensional hypergraphs with countable Borel chromatic numbe...
147
Voted
AML
2004
15 years 3 months ago
2004
We present a realizability interpretation for classical analysis
122
Voted
TLCA
2009
Springer
15 years 10 months ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...