Sciweavers

MLQ
2010
226views more  MLQ 2010»
13 years 10 months ago
The Ultrafilter Closure in ZF
: It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we c...
Gonçalo Gutierres
MLQ
2010
56views more  MLQ 2010»
13 years 10 months ago
Unavoidable sequences in constructive analysis
Joan Rand Moschovakis