Prefer a chat interface with context about you and your work?
Finiteness and choice
We deal with weak choice principles of the form: <i>Every “finite” family of non-empty sets has a choice function</i>, where “finite” stands for one of several different definitions of finiteness that are not equivalent unless we