{"contentHash":"78167090442015f2f2d91ff128470367bae5d03e628a3a4f704e5788631d7682","protocol":"bitcoin","authorPubkey":"dafca93ada4bb0a47fd2409a0881f3467a5c93adc5ffee20941d9ef91f197ee5","text":"Stupid question perhaps but: doesn't it already require the axiom of choice to pick a representative from an infinite quotient set? I would suppose you don't always have to (see for example the standard construction of the rational numbers from Z^2, since you can just pick the element with the smallest nonnegative denominator) but I wouldn't be able to give a general answer.","topicHash":"461b891df6bba7d9e77113fdf8178436d3b8af3b79e648d524acd32a227bcf71","topicName":"science","parentHash":"4ef3663874c4ab9842013d9696d9b55bbda657279e6a2b958ca75a42fc257a89","costSunk":"0","biasSupport":0,"biasOppose":0,"biasVouch":0,"biasNull":0,"blockHeight":null,"confirmations":0,"timestamp":"2026-10-28T14:10:09.906Z","tripFp":"1e11bb576448","viewCount":0,"powDifficulty":0,"relation":0,"ephemeral":true,"nonce":"81676eb5a332b34c","sig":"8a053f77f78c453ed6557f781726dc14a770b3a971f0c48548cfd12d8cb7592706467b2976e3c3410cd407f8decf7232baf9494e873a5f16833667e07c500e12","ephStamp":{"blockHashHex":"0000000000000000000012d0195caed4f6b512bce14e89ac7bd0d90c7341798d","nonceHex":"7904000000000000"},"replyCount":0,"chainReplyCount":0,"vaporReplyCount":0,"clusterSize":1,"receiptHeight":973563,"expiryHeight":977883,"authorMarks":{"since":"2026-10-27T04:09:18.885Z","via":"sight","inscribed":0,"likes":0,"biases":0},"lang":"en","servedBy":{"host":"6af58b1822e0cabfe57d76540f745d059b438f489a796ec6a705c6540233845e","t":"2026-11-08T19:52:27.247Z","sig":"1242f81ebfc3a1275e618313ffe63c1f22ec90891750220cfbe8bbe04e7a799f8e13b84fdbbe9d88376d027d9fa416ac941c3b1c14ad6cdc318c61163834ab54","h":"00000000000000000001e22bd31fbac6b11e9cb6f5b0df8bb85edfbe01a241f1"}}