35 citations · 52 across the 6 of their papers we have counts for
1 paper · 1 filter
Karel Hrbacek
Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL 72 (2021…