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:

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:

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:

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:

We had a tie last round, so both candidates advanced to the next round, so you have 3 options to choose from!

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

THIRD ROUND: only eight entries remain, who will pass to the semifinals?

Axiom of Choice of Choice Award 2022 round 3 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 3 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 3 match 3: pick your favourite equivalent of the axiom of choice out of the two options below:

We just had two ties in a row, will a clear winner arise in the last round of this match?

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

SEMIFINALS: we have just 3 matches (and 3 days of January) left!

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

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

TiE-BREAK: The first vote decides who proceeds to the final of the Axiom of Choice of Choice Award!

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

Follow

GRAND FINAL of the Axiom of Choice of Choice Award 2022. The tie-break match had no clear winner, so the tie is broken in favour of our intuitionist candidate on the basis of its total wins and its total votes.

Pick your favourite equivalent of the axiom of choice out of the options below:

· · Web · 0 · 5 · 2
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.