16 citations · 67 across the 20 of their papers we have counts for
Showing 2011Show all
2 papers · 1 filter
math.LO2011★ 6 cited
Non-principal ultrafilters, program extraction and higher order reverse mathematics
Alexander P. Kreuzer
We investigate the strength of the existence of a non-principal ultrafilter over fragments of higher order arithmetic. Let U be the statement that a non-principal ultrafilter exist…
math.LO2011★ 1 cited
On the strength of weak compactness
Alexander P. Kreuzer
We study the logical and computational strength of weak compactness in the separable Hilbert space \ell_2. Let weak-BW be the statement the every bounded sequence in \ell_2 has a w…