APAL
2011
12 years 11 months ago
2011
Abstract. We give classical proofs, strengthenings, and generalizations of Lecomte’s characterizations of analytic ω-dimensional hypergraphs with countable Borel chromatic numbe...
AML
2004
13 years 4 months ago
2004
We present a realizability interpretation for classical analysis
TLCA
2009
Springer
13 years 11 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...