{"pubkey":"dafca93ada4bb0a47fd2409a0881f3467a5c93adc5ffee20941d9ef91f197ee5","posts":[{"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"}],"nextCursor":null,"pageReceipt":{"host":"6af58b1822e0cabfe57d76540f745d059b438f489a796ec6a705c6540233845e","t":"2026-11-08T20:10:44.383Z","sig":"388831f3ff368d3877f7eb665376d29265043da140cff6dc884ebfaf9cd2bef108fde658e708929785e87de75117a72c77293e0e9c8fd49f74b90c7eef5934d8"},"marks":{"since":"2026-10-27T04:09:18.885Z","via":"sight","inscribed":0,"likes":0,"biases":0}}