Happy new year, it's time for the Axiom of Choice of Choice Award 2022! Each day you can vote between two equivalent formulations of the Axiom of Choice (see also mastodon.vierkantor.com/@Vierk), until one remains at the end of January.

Axiom of Choice of Choice Award 2022 round 1 match 1: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 2: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 3: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 4: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 5: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 6: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 7: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 8: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 9: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 10: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 11: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 12: pick your favourite equivalent of the axiom of choice out of the two options below:

Follow

Axiom of Choice of Choice Award 2022 round 1 match 13: pick your favourite equivalent of the axiom of choice out of the two options below:

· · Web · 1 · 1 · 0

Axiom of Choice of Choice Award 2022 round 1 match 14: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 1 match 15: pick your favourite equivalent of the axiom of choice out of the two options below:

Will the maximal antichain win, or the union of 2 smaller sets? Cast your vote now to break the tie!

SURPRISE CONTENDER: the final matchup will include an entry from intuitionistic type theory!

Axiom of Choice of Choice Award 2022 round 1 match 16: pick your favourite equivalent of the axiom of choice out of the two options below:

SECOND ROUND: we have seen all the contestants to the ACoCA in action. Congratulations to each entrant who made it to the second round!

Axiom of Choice of Choice Award 2022 round 2 match 1: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 2 match 2: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 2 match 3: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 2 match 4: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 2 match 5: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 2 match 6: pick your favourite equivalent of the axiom of choice out of the two options below:

Axiom of Choice of Choice Award 2022 round 2 match 7: pick your favourite equivalent of the axiom of choice out of the two options below:

@Vierkantor glad to see that everyone made the right choice here

@Vierkantor only if you can deduce what the right choice is :P

@Vierkantor

You put your [right leg] in,
You put your [right leg] out;
You put your [right leg] in,
And you shake it all about.
You do the hokey pokey,
And you turn yourself around.
That's what it's all about! Yeah!

Babylon 5 Hocky Pocky

youtu.be/vr8tOa_En7A

@Vierkantor

For choice 2:

A wild Law of the Excluded Middle has appeared
But Russell's antinomy
But ZFC

Sign in to participate in the conversation
Vachtnoes

Mastodon is a server for a federated social network: everyone can run a server if they want to, including me. So this is a Mastodon server for me (Vierkantor) and my friends.