Markus Junker – Schriften

Einführungen:

• Einführung in Sprache und Grundbegriffe der Mathematik (pdf)
  Wintersemester 2010/11 (mit minimalen Überarbeitungen 2017)
• Vorkurs Mathematik (pdf)
  Wintersemester 2022/23

Logik:

• Mathematische Logik (pdf) – derzeit nicht verfügbar, muss üebrarbeitet werden!
  Sommersemester 2023
• Logik für Studierende der Informatik (pdf)
  Version vom Wintersemester 2021/22
• Formale Logik (für Studierende der Philosophie) (pdf)
  Version vom Wintersemester 2011/12

Anderes:

• Algebra (pdf)
  zuletzt Wintersemester 2014/15 (enthält noch viele Tippfehler)
• Diskrete algebraische Strukturen (pdf)
  Sommersemester 2010
• Gruppentheorie (pdf)
  Sommersemester 2002 (ist nie ordentlich durchkorrigiert worden; dürfte viele Tippfehler enthalten!)
• Mathematik II für Studierende der Informatik (pdf)
  zuletzt Sommersemester 2020

• mit Luck Darnière: Model completion of varieties of co-Heyting algebras
  Houston Journal of Mathematics 44 no.1 (2018), pp. 49-82.
  (Abstract, Mathematical Reviews MR3796438, Zentralblatt 1434.06001)
• mit Manuel Bodirsky: ℵ₀-categorical Structures: Endomorphisms and Interpretations
  Algebra Universalis 64 no.3-4 (2010), pp. 403-417.
  (Abstract, Mathematical Reviews 2012e:03065, Zentralblatt 1222.03035)
• mit Luck Darnière: Codimension and pseudometric in (dual) Heyting algebras
  Algebra Universalis 64 no.3-4 (2010), pp. 251-282.
  (Abstract, Mathematical Reviews 2012d:06019, Zentralblatt 1217.06002)
• mit Luck Darnière: On Bellissima's construction of the finitely generated free Heyting algebras, and beyond
  Archive for Mathematical Logic 49 no.7 (2010), pp. 743-771.
  (Abstract, Mathematical Reviews 2011k:06017, Zentralblatt 1215.06004)
• mit Jochen Koenigsmann: Schlanke Körper (slim fields)
  Journal of Symbolic Logic 75 no.2 (2010), pp. 481-500.
  (Abstract, Mathematical Reviews 2011f:03047, Zentralblatt 1218.03027)
• mit Martin Ziegler: The 116 reducts of (Q,<,a)
  Journal of Symbolic Logic 73 no.3 (2008), pp. 861-884.
  (Abstract, Mathematical Reviews 2009i:03020, Zentralblatt 05531003)
• mit Ingo Kraus: Theories with equational forking
  Journal of Symbolic Logic 67 no.1 (2002) pp.326-340.
  (Abstract, Mathematical Reviews 2003b:03042, Zentralblatt 01749914)
  additions and corrections
• mit Daniel Lascar: The indiscernible topology: a mock Zariski topology
  Journal of Mathematical Logic 1 no.1 (2001) pp.99-124.
  (Abstract, Mathematical Reviews 2002c:03062, Zentralblatt 01623767)
• A note on equational theories
  Journal of Symbolic Logic 65 no.4 (2000) pp.1705-1712.
  (Abstract, Mathematical Reviews 2002b:03076, Zentralblatt 973.03046)
• Completeness in Zariski Groups
  Israel Journal of Mathematics 109 (1999) pp.273--298.
  (Abstract, Mathematical Reviews 2000j:14075, Zentralblatt 922.03051)

• Géometries de Zariski et Groupes de Zariski (ps, pdf)
  thèse de doctorat, Université Paris 7, juillet 1996.
  (Zusammenfassung / abstract)

• Difference normal forms in topology and propositional logic (pdf), Juni 2008, slight revisions July 2009.
• Einiges zur Modelltheorie von (Q,<) (dvi, ps), Juli 2004.
• The Hoffman-Singleton graph and outer automorphisms (pdf), Juni 2003.
• Des topologies dans les groupes stables Report des Institut Mittag-Leffler, Dezember 2000 (Abstract)
• On the Lⁿ-axiomatisability of certain classes of graphs (ps), Institut Mittag-Leffler, Dezember 2000.
• Towards Cherlin's Conjecture for Zariski Groups Preprint 1996 (pdf).

• Platonische Körper falten: Tetraeder, Oktaeder, Ikosaeder und Würfel (pdf), Oktober 2009.

• Das Affenpuzzle, Übersetzung von: David Harel "Computers Ltd."
• Abels Beweis, Übersetzung von: Peter Pesic "Abel's Proof".
• Die verflixte Mathematik der Demokratie, Übersetzung von: George Szpiro "Numbers Rule".

alle erschienen im Springer-Verlag