 |
Post AvjT5kDNXOvq4HOLgm by [email protected] |
 |
More posts by [email protected] |
|
Post #AvirTeub6oegJTaDvk by [email protected] |
|
0 likes, 0 repeats |
|
|
|
Axiom of Choice in HoTT. For any family of sets Y parameterized by elements of … |
|
|
|
Post #AvirTf1ggSKIfStsyu by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski - a bad lawyer says "trust me!, the witnesses exist." |
|
|
|
Post #AvjT5kDNXOvq4HOLgm by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@skewray @johncarlosbaez More precisely, take an infinite number of drawers, ea… |
|
|
|
Post #AvjT5kK78MJsPAXjBg by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@BartoszMilewski @johncarlosbaez I've never come across empty sets with reg… |
|
|
|
Post #AvjT5kQqjJhuk3h6ga by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@skewray - one common way to state the axiom of choice is to state that the pro… |
|
|
|
Post #AvjZxN4cOMo3evFTFI by [email protected] |
|
0 likes, 0 repeats |
|
|
|
@johncarlosbaez Okay, I see how empty sets entered. It isn't the sets that … |
