Table of Contents
Fetching ...

Invertibility in the misère multiverse

Alfie Davies, Vishal Yadav

Abstract

Understanding invertibility in restricted misère play has been challenging; in particular, the possibility of non-conjugate inverses posed difficulties. Advances have been made in a few specific universes, but a general theorem was elusive. We prove that every universe has the conjugate property, and also give a characterisation of the invertible elements of each universe. We then explore when a universe can have non-trivial invertible elements, leaving a slew of open problems to be further investigated.

Invertibility in the misère multiverse

Abstract

Understanding invertibility in restricted misère play has been challenging; in particular, the possibility of non-conjugate inverses posed difficulties. Advances have been made in a few specific universes, but a general theorem was elusive. We prove that every universe has the conjugate property, and also give a characterisation of the invertible elements of each universe. We then explore when a universe can have non-trivial invertible elements, leaving a slew of open problems to be further investigated.

Paper Structure

This paper contains 13 sections, 35 theorems, 17 equations.

Key Result

Theorem 2.2

If $\mathcal{U}$ is a universe and $G,H\in\mathop{\mathrm{\mathcal{M}_{aug}}}\nolimits$, then $G\geq_\mathcal{U}H$ if and only if:

Theorems & Definitions (71)

  • Definition 2.1: cf. siegel:on
  • Theorem 2.2: siegel:on
  • Proposition 2.3
  • proof
  • Proposition 2.4
  • proof
  • Lemma 2.5: siegel:on
  • Theorem 2.6: siegel:on
  • Theorem 2.7
  • proof
  • ...and 61 more