Logikseminariet Stockholm/Uppsala 2008–09

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

• 2008-09-10 Anton Hedin: A continuous DCPO representation of regular formal topologies
• 2008-09-17 Benno van den Berg: Aspects of Algebraic Set Theory
• 2008-09-24 Per Martin-Löf: Is logic about consequence?
• 2008-10-01 Kaj B. Hansen: From Logical Analysis to Physics: The Case of Special Relativity.
• 2008-11-05 Erik Palmgren: Remarks on the localic completion of metric spaces
• 2008-11-12 Johan Granström: Different kinds of immediate evidence in intuitionistic type theory
• 2008-12-03 Vera Koponen: Zero-one laws for finite substructures of countably categorical structures
• 2008-12-10 Olga Antonova: The modern categories of mathematical reason and their genesis

• 2009-01-15 Minisymposium on Type Theory and Foundations
• 2009-01-28 Per Martin-Löf and Dag Prawitz: How is Tarski semantics to be understood?
• 2009-02-04 Michael Rathjen: Infinitary proof theory and Pi_2^0 conservation.
• 2009-02-18 Peter Aczel: Identity types and type setups.
• 2009-02-25 Per Martin-Löf: Evaluation of open expressions.
• 2009-03-11 Per Martin-Löf: Evaluation of open expressions (cont.)
• 2009-04-29 Richard Garner: Topological and higher-dimensional aspects of type theory.
• 2009-06-03 Fredrik Nordvall Forsberg: Constructive aspects of models for non-standard analysis. (Presentation av examensarbete/MSc seminar)

Related activities

Philosophy and Foundations of Mathematics, May 5-8, 2009, SCAS, Uppsala. A conference dedicated to Per Martin-Löf on the occasion of his retirement.

Maintainer: Brandon Doherty, brandon.doherty@math.su.se