A synthetic axiomatization of Map Theory

Chantal Berline and Klaus Grue

The paper presents a new axiomatization of Map Theory. The axiomatization has substantially simplified axioms and the paper proves the consistency of the axiomatization. Furthermore, the paper gives an enhanced introduction to Map Theory. The paper is published by Theoretical Computer Science with DOI number 10.1016/j.tcs.2015.11.028.

Published version

The published version is available for free in PDF until February 18, 2016. To get it, click


Then locate the PDF icon (near the top, a bit to the left). Click the PDF icon and you get the final version for free.

Final submission

Final submission in PDF

Compared to the published version, the final submission has a different format and different page numbers. The numbering of section, theorems, definitions, and so on is unchanged.

AudioSlides presentation

To view the AudioSlides presentation below, click the 'play' button.

In-private browsing might cause trouble.

If the AudioSlides presentation stops, click the 'backwards' button. That will make the presentation jump a little backwards and then continue.

Alternatively, e.g. if the sound is choppy, watch the AudioSlides presentation as a video in windows media video (.wmv) format. If it does not work in the browser, try saving it to your harddisk and play it from there.

Klaus Grue, Janurary 14, 2016