Sciweavers

MLQ
2010
226views more  MLQ 2010»
13 years 3 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 3 months ago
Unavoidable sequences in constructive analysis
Joan Rand Moschovakis