{"id":"arxiv/2602.06728","url":"https://arxiv.org/abs/2602.06728","tags":["math.LO"],"score":0,"title":"On countability and representations","domain":"math.LO","source":"arxiv","authors":["Sam Sanders"],"reviews":0,"subject":"math.LO","summary":"The topic of this paper is the subtle interplay between countability and representations. In particular, we establish that the definition of countability of a certain set $X$ crucially hinges on the associated equivalence relation $=_{X}$. Armed with this knowledge, we study well-known and basic principles about countable sets, going back to Cantor, Sierpiński, and König, working in Kohlenbach's higher-order Reverse Mathematics. While these principles are relatively weak in second-order Reverse Mathematics, we obtain equivalences involving countable choice and Feferman's projection…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-06","reactions":{}}