The Royal Swedish Academy of Sciences
Institut Mittag-Leffler

Preprints 2000-2001

01 - Cardinal-Preserving Extensions - Sy David Friedman
02 - On the Complexity of the Classification Problem for Torsion-Free Abelian Groups of Rank Two - Simon Thomas
03 - On the Order of Countable Graphs - Jaroslav Nesetril and Saharon Shelah
04 - Bounding by Canonical Functions, with CH - Paul Larson and Saharon Shelah
05 - Katetov's Problem - Paul Larson and Stevo Todorcevic
06 - On Whitehead Precovers - Paul C. Eklof and Saharon Shelah
07 - Determined Theories and Limit Laws - John T. Baldwin and Marco Mazzucco
08 - Forcing a Boolean Algebra with Predesigned Automorphism Group - Tapani Hyttinen and Saharon Shelah
09 - On a Class of almost Disjoint Permutation Families - Yi Zhang
10 - Rank and Homogeneous Structures - John T. Baldwin
11 - Adjoining Almost Disjoint Permutations - Yi Zhang
12 - Open colorings, the continuum, and the second uncountable cardinal - Justin T. Moore
13 - Lipschitz Maps on Trees - Stevo Todorcevic
14 - Refined Program Extraction from Classical Proofs - Ulrich Berger, Wilfried Buchholz and Helmut Schwichtenberg
15 - Intuitionistic fixed point theories for strictly positive operators - Christian Rueede and Thomas Strahm
16 - A categorical version of the BHK-interpretation - Erik Palmgren
17 - Linear Ramified Higher Type Recursion and Parallel Computation - Klaus Aehlig, Jan Johannsen, Helmut Schwichtenberg and Sebastiaan Terwijn
18 - Proof-theoretical analysis of order relations - Sara Negri, Jan von Plato and Thierry Coquand