Albert-Ludwigs-Universität Freiburg Fakultät für Mathematik und Physik   Mathematisches Institut   Abteilung für mathematische Logik

Preprints / Prépublications

• Heinz-Dieter Ebbinghaus, Martin Grohe: Zur Struktur dessen, was wirklich berechenbar ist, 1997.
• Jörg Flum: On the (infinite) model theory of fixed-point logics, 1995 (dvi).
• Jörg Flum, Max Kubierschky, Bertram Ludäscher: Total and partial well-founded Datalog coincide, 1996.
• Bernhard Herwig: Extending partial isomorphisms for the small index property of many (omega)-categorical structures, 1996.
• Bernhard Herwig, Steffen Lempp, Martin Ziegler: Constructive models of uncountably categorical theories
• Henrik Imhof: Fixed point logics, generalized quantifiers, and oracles, 1995 (überarbeitete Version vom Januar 1996).
• Henrik Imhof, Lauri Hella: Enhancing fixed point logic with cardinality quantifiers, 1996.
• Ingo Kraus: A global consequence of local symmetry, 2003.
• A. R. D. Mathias: The Strength of Mac Lane Set Theory, 2001.
• A. R. D. Mathias: Analytic Sets under Attack, 2001.
• A. R. D. Mathias: Weak systems of Gandy, Jensen and Devlin, 2005.