Logikseminariet Stockholm/Uppsala HT-06 och VT-07

Seminarieledare: Per Martin-Löf (Stockholm), Erik Palmgren, Viggo Stoltenberg-Hansen (Uppsala)

• 2006-08-30 Paul Gorbow: Infinite sequences in stability theory
• 2006-09-06 Per Martin-Löf: Sheaf models of type theory (part three)
• 2006-09-13 Michael O. Rabin: Randomness and Non-Transferable, Non-Publishable Proofs
• 2006-09-20 Per Martin-Löf: Sheaf models of type theory (part four)
• 2006-09-27 Vera Djordjevic: Partial stability in simple theories
• 2006-10-11 Per Martin-Löf: Sheaf models of type theory (part five)
• 2006-10-25 Per Martin-Löf: Sheaf models of type theory (part six)
• 2006-11-01 Annika Kanckos: A direct Gentzen-style consistency proof for Heyting arithmetic
• 2006-11-08 Per Martin-Löf: Sheaf models of type theory (part seven)
• 2006-11-29 Olga Antonova: On the historical roots of type theory
• 2006-12-06 Jouko Väänänen: Dependence Logic
• 2006-12-07 Dag Normann: Domain theory based hierarchies of total functionals
• 2006-12-13 Sergei Soloviev: Non-standard reductions in typed lambda-calculus with inductive types and normalization properties.

• 2007-01-24 Noa Hermele: A Model for Constructive Set Theory in Intuitionistic Type Theory
• 2007-01-31 Erik Palmgren: The uniform lower bound problem in constructive analysis
• 2007-02-07 Erik Palmgren: Category theory without the axiom of choice
• 2007-02-14 Luiz Carlos Pereira: Translations and normalization procedures
• 2007-02-21 Erik Palmgren: Category theory without the axiom of choice (cont.)
• 2007-02-28 Richard Garner: Cofibrantly generated natural weak factorisation systems
• 2007-03-07 Ruben van den Brink: Why not? An intuitionist's attempt to understand "HB does not imply FT" (part 1)
• 2007-03-14 Ruben van den Brink: Why not? An intuitionist's attempt to understand "HB does not imply FT" (part 2)
• 2007-03-21 Olov Wilander: Proofs and Partiality
• 2007-03-28 Olov Wilander: Proofs and Partiality (continued)
• 2007-04-11 Per Martin-Löf: Topology, probability, quantum theory
• 2007-04-18 Per Martin-Löf: Topology, probability, quantum theory (cont.)
• 2007-04-25 Richard Garner: A taxonomy of fibrations
• 2007-05-02 Vera Djordjevic: Independence and finite satisfiability
• 2007-05-30 Richard Garner: A taxonomy of fibrations (part 2)