Hans Adler

Email: hans.adler@univie.ac.at

Prüfungen in den Sommerferien

Noch ausstehende Prüfungen oder Wiederholungsprüfungen kann ich im September und im Wintersemester als mündliche Prüfungen anbieten. Ich habe die Tage 28.–30. September (Mittwoch bis Freitag vor Vorlesungsbeginn) für Prüfungen vorgemerkt. Frühere Prüfungstermine nach Absprache. (Ich kann noch nicht vorhersagen, wann ich im September sonst noch in Wien sein werde. Es könnte fast der ganze Monat werden, oder nur ein paar Tage.)

SS 2011 – Grundbegriffe der mathematischen Logik

Mittwoch 13:00-14:30, Hörsaal 1 (UZA2).

Vorlesungsskript (Stand 27. Juni – gegenüber der letzten dreiteiligen Version vom 20. Juni sind einige Aufgaben korrigiert.)

Für die Vorlesung habe ich mich ursprünglich an dem Lehrbuch Mathematische Logik von Martin Ziegler orientiert, das ziemlich genau dem Vorlesungsskript seiner gleichnamigen Vorlesung entspricht. (Zieglers Skript ist hier erhältlich.) Allerdings habe ich den Stoff gekürzt, umgestellt und anderweitig verändert. Insbesondere:

Wir beginnen mit Rekursionstheorie, gefolgt von Prädikatenlogik. Mengenlehre wird in dieser Vorlesung aus Zeitgründen gar nicht behandelt.
Ausführlichere Behandlung von primitiver Rekursivität.
Zahlen-Registermaschinen an Stelle von String-Registermaschinen.

Die Übungen werden von Jakob Kellner geleitet. Die Übungsaufgaben finden Sie hier.
Hier finden Sie eine Implementierung der LOOP-Sprache in JavaScript. Sie können damit LOOP-Programme relativ bequem in Ihrem Web-Browser ausprobieren. Bitte machen Sie davon Gebrauch, um Ihre Lösungen der Übungsaufgaben, in denen es um LOOP-Programme geht, selbst zu überprüfen. Die Implementierung akzeptiert ab sofort auch WHILE-Programme, aber es ist nicht klar, wie nützlich das ist.

Prüfungen

Bisherige Prüfungsergebnisse. Aufgabenblätter: Teil 1, Beispielblatt, Teil 1, 4. Mai, Teil 2, Beispielblatt, Teil 2, 22. Juni.

SS 2011 – Rekursionstheorie

Donnerstag 9:00-10:30, Seminarraum des KGRC.
Die ersten Stunden sind weitgehend parallel zur obigen Vorlesung. Siehe daher auch das obige Skript zu Kapitel 1.

Teaching

Einführung in die Mathematische Logik (unvollständig)
Winter 2010/2011.	PDF, 340 KB.

Categoricity of countable first-order theories
Summer 2010.	PDF, 220 KB.

Research

Kim's Lemma for NTP₂ theories.
Handwritten notes of Turin talk (February 2011).	PDF, 1.3 MB.

Theories controlled by formulas of Vapnik-Chervonenkis codimension 1.
Draft (July 2008).	PDF, 160 KB.

A note on clique-width and tree-width for structures (with Isolde Adler).
Short note (June 2008).	arXiv:0806.0103 [cs.LO]

An introduction to theories without the independence property.
Accepted by Archive for Mathematical Logic (February 2007, revised June 2008).	PDF, 400 KB.

A geometric introduction to forking and thorn-forking.
Accepted by Journal of Mathematical Logic (submitted February 2007).	PDF, 400 KB; IMUB Preprint 390.

Thorn-forking as local forking.
Accepted by Journal of Mathematical Logic (submitted February 2007).	PDF, 400 KB; IMUB Preprint 391.

Addenda to "A geometric introduction to forking and thorn-forking" and "Thorn-forking as local forking".
Short note (February 2007).	PDF, 60 KB.

Strong theories, burden, and weight
Draft (March 2007).	PDF, 200 KB.

Strict orders prohibit elimination of hyperimaginaries.
Short note (February 2007).	PDF, 100 KB.

Notiz zur unären Cliquenweite von Strukturen (with Isolde Adler) [in German].
Short note (December 2005).	DVI, 13 KB.

Explanation of Independence.
Dissertation (June 2005).	arXiv:math/0511616 [math.LO]; urn:nbn:de:bsz:25-opus-21693.

A note on rosy theories.
Short note (July 2003).	DVI, 6 KB.

Unabhängigkeitsrelationen [in German].
Diploma thesis (December 1996).	PDF, 900 KB.

Slides (Since I like to make substantial use of the blackboard, my slides typically cover around 50 % of a talk.)

Combinatorics and geometry in an unstable world.
BIRS Workshop on Stability Theoretic Methods in Unstable Theories, Banff (February 2009).	PDF, 200 KB.

Two aspects of stability theory.
Seminar of the Kurt Gödel Research Centre, Wien (January 2009).	PDF, 200 KB.

Strict orders prohibit elimination of hyperimaginaries.
MODNET Barcelona Conference (November 2008).	PDF, 160 KB.

The role of matroids in model theory.
Colloquium Logicum 2008, Jahrestagung der DVMLG, Darmstadt (September 2008). Logic Seminar, Barcelona (November 2008)	PDF, 120 KB.

Theories controlled by formulas of VC codimension 1.
MODNET Research Workshop, O-minimality: model theory and geometry, Haifa (September 2008).	PDF, 100 KB.

Strong theories, burden and weight.
Workshop Around Classification Theory, Leeds (June 2008).	PDF, 80 KB.

Minimalismes [in French].
Séminaire Théorie des modèles, Lyon (May 2008).	PDF, 80 KB.

Thorn-forking and generalised semimodularity.
UEA Pure Mathematics Seminar, Norwich (March 2008).	PDF, 100 KB.

Strong theories and the independence property.
Logic Seminar, Oxford (March 2008).	PDF, 90 KB.

Strong theories and weight.
MODNET Model Theory and Algebra Workshop, Camerino (June 2007).	PDF, 100 KB.

Thorn-forking.
Logic Seminar, Leeds (February 2007).	PDF, 80 KB.

Shrinking indiscernibles.
MODNET Midterm Review Meeting, Mons (January 2007).	PDF, 100 KB.

Understanding forking and thorn-forking.
Logic Seminar, Barcelona (May 2006).	PDF, 200 KB.

The lattice of algebraically closed sets.
Workshop on Pure Model Theory, Norwich (July 2005).	PDF, 90 KB.

Independence relations.
Kolloquium des Graduiertenkollegs Mathematische Logik und Anwendungen, Freiburg (January 2004).	PDF, 120 KB.