I have proved the theorem from Wikipedia that every Cauchy filter is contained in a maximal Cauchy filter (in fact I’ve proved a more general statement). I don’t know the standard proof (and don’t know where to find it), so I’ve devised…

read more
Skip to content

I have proved the theorem from Wikipedia that every Cauchy filter is contained in a maximal Cauchy filter (in fact I’ve proved a more general statement). I don’t know the standard proof (and don’t know where to find it), so I’ve devised…

read more