A synthetic axiomatization of Map Theory

In the paper we define the notions of canonical and non-canonical κ- and κσ-expansions and prove that if σ is the smallest strongly inaccessible ordinal then canonical κσ-expansions are models of MT (which proves the consistency). Furthermore, in Appendix A, we prove that canonical ω-expansions are fully abstract models of the computational part of Map Theory.