On countability and representations
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.06728
curl -X POST /api/v1/records/arxiv/2602.06728/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.06728/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'