The Royal Swedish Academy of Sciences
Institut Mittag-Leffler

Preprints 2000-2001

Scientific Leader: Jouko Väänänen

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
19 - Term Rewriting for Normalization by Evaluation - Ulrich Berger, Matthias Eberl and Helmut Schwichtenberg
20 - Universes over Frege Structures - Reinhard Kahle
21 - Des topologies dans les groupes stables - Markus Junker
22 - Contraction-free Sequent Calculi for Geometric Theories, With an Application to Barr's Theorem - Sara Negri
23 - On the Expressive Power of Monotone Natural Language Quantifiers over Finite Models - Jouko Väänänen and Dag Westerståhl
24 - On Regular Reduced Products - Juliette Kennedy and Saharon Shelah
25 - A Dichotomy in the Complexity of Propositional Circumscription - Lefteris Kirousis and Phokion Kolaitis
26 - On Embedding Models of Arithmetic of Cardinality aleph_1 into Reduced Powers - Juliette Kennedy and Saharon Shelah
27 - Characterization of Stacks of Principal Fibre Bundles - Anders Kock
28 - The Strength of Non-Size Increasing Computation - Martin Hofmann
29 - How to Define Measure of Borel Sets - Thierry Coquand
30 - Krull's Principal Ideal Theory - Thierry Coquand and Henri Lombardi
31 - The Stack Quotient of a Groupoid - Anders Kock
32 - How to Well Order Finite Trees - Herman Ruge Jervell
33 - Cut Formulas for Kalmar Elementary Functions - Herman Ruge Jervell and Wenhui Zhang
34 - Propositions as [Types] - Steven Awodey and Andrej Bauer
35 - Pullbacks of Local Operators and Tidy Morphisms - P.T. Johnstone
36 - Theories and Ordinals in Proof Theory - Michael Rathjen
37 - On non-wellfounded Constructive Set Theory - Sergei Tupailo
38 - Hilbert's Paradox - Volker Peckhaus and Reinhard Kahle
39 - Frame-valued Semantics for Constructive Set Theory - Nicola Gambino and Peter Aczel
40 - Notes on Constructive Set Theory - Peter Aczel and Michael Rathjen
41 - Computable and Continuous Partial Homomorphisms on Metric Partial Algebras - Viggo Stoltenberg-Hansen and John Tucker
42 - Model companions of T_sigma for stable T - John Baldwin and Saharon Shelah
43 - Terminating Proof Search in Elementary Geometry - Jan von Plato
44 - Modular Correspondence between Dependent Type Theories and Categorical Universes - Maria Emilia Maietti
45 - An Approach to an Epsilon Substitution method for ID_1 - Grigori Mints
46 - More on the Ehrenfeucht-Fraisse game of length omega_1 - Saharon Shelah, Tapani Hyttinen and Jouko Väänänen