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-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)