Dr Hans Adler
 Research Fellow (EPSRC) until August 2010.
Mathematical Logic
Department of Pure Mathematics
University of Leeds
Leeds
LS2 9JT

Email: adler @ maths.leeds.ac.uk


Note: I am moving to Vienna and may initially not be able to update or delete my homepage here.

Research
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 (February 2007, revised June 2008). PDF, 400 KB.
A geometric introduction to forking and thorn-forking.
Submitted (February 2007). PDF, 400 KB; IMUB Preprint 390.
Thorn-forking as local forking.
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.

Last update: August 2009
Enquiries to: adler @ maths.leeds.ac.uk