Logikseminariet Stockholm/Uppsala HT-03 och VT-04

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

• 2003-09-03 Peter Dybier och Ken-Etsu Fujita: (click for titles)
• 2003-09-17 Jesper Carlström: Formalized limits and colimits of setoids
• 2003-10-01 Jonas Eliasson: Ultrasheaves and ultrapowers
• 2003-10-08 Peter M. Schuster: Some ontology of primes
• 2003-10-15 Bas Spitters och Thierry Coquand: (click for titles)
• 2003-11-05 Roman Kossak: Undefinability of truth and nonstandard models
• 2003-11-12 Markus van Atten: On the philosophical development of Kurt Gödel
• 2003-11-19 Sara Negri: Proof theory and modal logic
• 2003-11-26 Olof Lindroth: A random formula lower bound for ordered-DLL extended with local symmetries, part I.
• 2003-12-03 Olof Lindroth: A random formula lower bound for ordered-DLL extended with local symmetries, part II.
• 2003-12-10 Erik Palmgren: Predicativity problems in point-free topology
• 2003-12-17 Anders Kock, Carsten Butz och Steve Awodey: (click for titles)

• 2004-01-21 Tor Sandqvist: Hävdandevillkor och klassisk logik
• 2004-02-04 Per Martin-Löf: Types and categories
• 2004-02-11 Giovanni Curi och Erik Palmgren: (click for titles)
• 2004-02-25 Jesper Carlström: Comments on axiom of choice and excluded middle
• 2004-03-03 Erik Palmgren: Partiella algebraiska strukturer med tillämpningar i kategoriteori
• 2004-03-17 Marko Djordjevic: The finite submodel property and countably categorical simple structures of rank one, part I.
• 2004-03-24 Marko Djordjevic: The finite submodel property and countably categorical simple structures of rank one, part II.
• 2004-04-14 Fredrik Dahlgren: The topos of recursive sets, part I.
• 2004-04-21 Fredrik Dahlgren: The topos of recursive sets, part II.
• 2004-05-12 Olov Wilander: A short introduction to Joyal's combinatorial species.
• 2004-06-23 Esfandiar Haghverdi: A Categorical Model for the Geometry of Interaction.