2 ms·
You can use equivalence relations and quotients w/ a computable foundation, you just need to rephrase what you mean by equality. See e.g. Kevin Buzzard's nice
by zozbot234 1y ago
You can use equivalence relations and quotients w/ a computable foundation, you just need to rephrase what you mean by equality. See e.g. Kevin Buzzard's nice explanation at https://xenaproject.wordpress.com/2025/02/09/what-is-a-quotient/ https://xenaproject.wordpress.com/2025/02/09/what-is-a-quoti...
- bubblyworld 1y agoRight, I'm aware you can, it's just much trickier to do it rigorously. But I suppose that may be more a comfort thing. Thanks for the link!