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.
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 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.
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