Mathematical Logic
2000/2001
Seminar program
Wednesday, June 13, 2001: Institute seminar
14:00-15:00 Ieke Moerdijk, Utrecht
Axiomatic approaches to algebra and homotopy theory
15:30-16:30 Per Martin-Löf, Stockholm
The doctrine of types
Wednesday, June 6, 2001: Institute seminar
14:00-15:00 Peter Aczel, Manchester
Mahlo cardinals, Mahlo sets and Mahlo universes
15:30-16:30 Abbas Edalat, London
A data-type for differential calculus
Tuesday, June 5, 2001: Institute seminar
14:00-15:00 Sergei Tupailo, Tallin and Leeds
Intersecting explicit mathematics and intuitionistic type theory: realizability interpretation into explicit mathematics
Wednesday, May 30, 2001: Institute seminar
14:00-15:00 Anders Kock, Aarhus
Equivalence relations and groupoids
15:30-16:30 Steve Awodey, Pittsburgh
Propositions as [bracket] types
Tuesday, May 29, 2001: Institute seminar
14:00-15:00 Jonas Eliasson, Uppsala
Ultrapowers as sheaves on a category of ultrafilters
Wednesday, May 23, 2001: Institut seminar
14:00-15:00 Grigori Mints, Stanford
Epsilon-substitution: past and future
15:30-16:30 Maria Maietti, Padova
Categorical arithmetic universes from a type theoretic perspective
Wednesday, May 16, 2001: Institute seminar
14:00-15:00 Yu. L. Ershov, Novosibirsk
Computability in admissible sets with urelements
15:30-17:00 Solomon Feferman, Stanford and Dana Scott, Pittsburgh
Does mathematics need new axioms? A discussion
Tuesday, May 15, 2001: Institute seminar
14:00-15:00 Juha Ruokolainen, Helsinki
On non-non-standard constructive analysis
Wednesday, May 9, 2001:Institute seminar
14:00-15:00 Giovanni Sambin, Padova
Some points in formal topology
15:30-16:30 Andre Scedrov, Philadelphia
Probabilistic polynomial-time process calculus and security protocol analysis
Tuesday, May 8, 2001:Institute seminar
14:00-15:00 Michael Rathjen, Leeds
Tutorial on weakly compact cardinals
Wednesday, May 2, 2001:Institute seminar
14:00-15:00 Anders Kock, Aarhus
Synthetic differential geometry, and the notion of envelope
15:30-16:30 Lars Birkedal, Copenhagen
Relative and modified relative realizability
Wednesday, April 25, 2001:Institute seminar
14:00-15:00 Solomon Feferman, Stanford
Goedel's functional interpretation as a proof-theoretical tool
15:30-16:30 Yuri L. Ershov, Novosibirsk
Constructive class field theory
Tuesday, April 24, 2001:Institute seminar
14:00-15:00 Klaus Frovin Joergensen, Roskilde
On constructivity in finite type arithmetic
Friday, April 20, 2001:Institute seminar
14:00-15:00 Hamish Short, Marseille
Ordering the Braid Groups
Wednesday, April 18, 2001:Institute seminar
14:00-15:00 Ulrich Berger, Swansea
On the computational content of the axiom of choice
15:30-16:30 Rohit Parikh, New York
Some recent results on belief revision
Tuesday, April 17, 2001: Institute seminar
14:00-15:00 Peter Dybjer, Gothenburg
Normalization by evaluation for the typed lambda calculus with strong sums
Tuesday, April 10, 2001: Informal seminar
11:00-12:00 Phokion Kolaitis, Santa Cruz
An overview of phase transitions in random Boolean satisfiability
Friday, April 6, 2001: Institute seminar
11:00-12:00 Sara Negri, Helsinki
Contraction-free sequent calculi for geometric theories, with an application to Barr's theorem
Wednesday, April 4, 2001: Institute seminar
14:00-15:00 Phokion Kolaitis, Santa Cruz
Existential second-order logic over graphs: Charting the tractability frontier
15:30-16:30 Anton Setzer, Uppsala
Constructive analogues of large cardinals: Mahlo and $\Pi_3$-reflection
Tuesday, April 3, 2001: Institute seminar
14:00-15:00 Matti Pauna, Helsinki
On non-wellfounded sets as limits of approximations
Wednesday, March 28, 2001: Institute seminar
14:00-15:00 Peter Aczel, Manchester
The notions of type, class and set in a liberated intuitionism
15:30-16:30 Reinhard Kahle, Tübingen
Universes in explicit mathematics
Wednesday, March 21, 2001: Institute seminar
14:00-15:00 Helmut Schwichtenberg, Munich
An arithmetic for non-size-increasing polynomial-time computation
(joint work with Klaus Aehlig, Ulrich Berger, Martin Hofmann)
15:30-16:30 Martin Hofmann, Edinburgh
Exact characterisation of the strength of systems of non-size increasing computation
Tuesday, March 20, 2001: Institute seminar
14:00-15:00 Thierry Coquand, Gothenburg
Compact spaces and distributive lattices
Wednesday, March 14, 2001: Isntitute seminar
14:00-15:00 Jan von Plato, Helsinki
Classical natural deduction
15:30-16:30
Discussion about $\Pi^1_2$-CA
Tuesday, March 13, 2001: Institute seminar
14:00-15:00 Herman Jervell, Oslo
How to well order finite trees
Wednesday, March 7, 2001: Institute seminar
14:00-15:00 Erik Palmgren, Uppsala
A categorical version of the propositions-as-types interpretation
15:30-16:30 Thomas Strahm, Bern
Untyped applicative theories and computational complexity
Tuesday, March 6, 2001: Institute seminar
14:00-15:00 Aarne Ranta, Gothenburg
PESCA - A proof editor for sequent calculus. A demonstration
Wednesday, February 28, 2001: Institute seminar
14:00-15:00 Dana Scott, Pittsburgh
Domains and equilogical spaces
15:30-16:30 Gerhard Jäger, Bern
Remarks on the modal mu-calculus
Tuesday, February 27, 2001:Institute seminar
14:00-15:00 Andrej Bauer, Pittsburgh
Computable topology and analysis in realizability
Wednesday, February 21, 2001: Institute seminar
14:00-15:00 Peter Johnstone, Cambridge
Open/compact duality in local theory and topos theory
15:30-16:30 Toshiyasu Arai, Hiroshima
Two results in proof theory
Tuesday, February 20, 2001: Institute seminar
14:00-15:00 Michael Rathjen, Leeds
More about $\Pi^1_2$ comprehension
Wednesday, February 14, 2001: Institute seminar
14:00-15:00 Thierry Coquand, Gothenburg
A solution to Borel's measure problem
15:30-16:30 Michael Rathjen, Leeds
Variations on ordinal analysis
Tuesday, February 13, 2001: Institute seminar
14:00-15:00 Sara Negri, Helsinki
Structural proof analysis in elementary mathematical theories
Wednesday, February 7, 2001: Institute seminar
14:00-15:00 Juliette Kennedy, Helsinki
Some results in classical model theory based on transfer principles
15:30-16:30 Peter Johnstone, Cambridge
Universal and co-universal characterizations of the reals in a topos
Tuesday, February 6, 2001: Institute seminar
14:00-15:00 Ivar Rummelhoff, Oslo
Totality in Domain Models of Polymorphism
Wednesday, January 31, 2001: Institute seminar
14:00-15:00 Helmut Schwichtenberg, Munich
Program extraction from classical proofs (Joint work with Ulrich Berger and Wilfrid Buchholz)
15:30-16:30 Dag Normann, Oslo
Definability and totality in typed lambda calculus
Tuesday, January 30, 2001: Institute seminar
14:00-15:00 Nicola Gambino, Manchester
Lattices and frames in CZF (Joint work with Peter Aczel)
Wednesday, January 24, 2001: Institute seminar
14:00-15:00 Herman Jervell, Oslo
Cut elimination and the Kalmar elementary functions
15:30-16:30 Erik Palmgren, Uppsala
Metric Boolean algebras and constructive measure theory
Wednesday, January 17, 2001: Institute seminar
14:00-15:00 Peter Aczel, Manchester
Can ZF classical mathematics be understood from a constructive standpoint?
15:30-16:30 Theodore Slaman, Berkeley
Definability in the Turing Degrees
Wednesday, December 13, 2000: Institute seminar
14:00-15:00 Roman Kossak, New York
Weakly Jonsson models
15:30-16:30 Jouko Väänänen, Helsinki
Infinitary logic, interpolation and abstract model theory
Tuesday, December 12, 2000: Institute seminar
16:00-17:00 (NOTE THE NEW TIME!!) Roman Kossak, New York
Tutorial on models of arithmetic
Wednesday, December 6, 2000: Institute seminar
14:00-15:00 Hugh Woodin, Berkeley
The $\Omega$ Conjecture
15:30-16:30 Paul Larson, Kobe
Bounding by canonical functions, with CH
Tuesday, December 5, 2000:Institute seminar
14:00-15:00 Taneli Huuskonen, Helsinki
Definability of linear order in epsilon-logic
Wednesday, November 29, 2000: Institute seminar
14:00-15:00 Dag Westerståhl, Uppsala
Compositionality without the Husserl property. Variations of a result by Hodges
15:30-16:30 Lauri Hella, Helsinki
Approximate pattern matching and transitive closure logics
Tuesday, November 28, 2000:Tutorial seminar
14:00-15:00 Erik Palmgren, Uppsala
Tutorial on the constructive set theory of Aczel and Myhill
Wednesday, November 22, 2000: Institute seminar
14:00-15:00 Wilfrid Hodges, London
Set-theoretic definability of algebraic closures
15:30-16:30 Stevo Todorcevic, Paris
A solution of Katetov's problem
Tuesday, November 21, 2000: Tutorial seminar
14:00-15:00 Per Martin-Löf, Stockholm
Tutorial on constructive type theory
Wednesday, November 15, 2000: Institute seminar
14:00-15:00 Zoe Chatzidakis, Paris
Model theory of fields
15:30-16:30 Leo Harrington, Berkeley
Automorphisms of the recursively enumerable sets
Tuesday, November 14, 2000:Institute seminar
14:00-15:00 Kerkko Luosto, Helsinki
Combinatorial questions about generalized quantifiers
Wednesday, November 8, 2000: Institute seminar
14:00-15:00 Paul Eklof, Irvine: Tutorial seminar
Combinatorics of abelian groups, (II part)
15:30-16:30 Oleg Belegradek, Istanbul
Polyregular ordered abelian groups
Tuesday, November 7, 2000: Institute seminar
14:00-15:00 Pauli Väisänen, Helsinki
Long games in almost free abelian groups
Wednesday, November 1, 2000: Institute seminar
14:00-15:00 Boban Velickovic, Paris
Games played on partial isomorphisms
15:30-16:30 Andrey Bovykin, Birmingham
Three topics in model theory of arithmetic
Tuesday, October 31, 2000:Informal seminar
14:00-15:00 Paul Eklof, Irvine
Tutorial: The combinatorics of \lambda-separable Abelian groups and Whitehead groups, 1st part
Wednesday, October 25, 2000:Institute seminar
14:00-15:00 Saharon Shelah, Jerusalem, Rutgers
Superatomic boolean algebras and maximal rigidity
15:30-16:30 Taneli Huuskonen, Helsinki
First-order conformal invariants
Tuesday, October 24, 2000:Informal seminar
14:00-15:00 Justin Moore, Boise, Univ of East Anglia
Uncountable random graphs
Wednesday, October 18, 2000: Institute seminar
14:00-15:00 Paul Cohen, Stanford
A new proof of Gentzen's theorem, and possible generalizations
15:30-16:30 Paul Eklof, Irvine
Some theorems about Ext
Tuesday, October 17, 2000: Informal seminar
14:00-15:00 Markus Junker, Freiburg
Indiscernible sequences, topologies and independence
Wednesday, October 11, 2000:Institute seminar
14:00-15:00 John Steel, Berkeley
Core model theory
15:30-16:30 Andreas Blass, Ann Arbor
Divisibility of Dedekind-finite sets
Tuesday, October 10, 2000: Informal seminar
14:00-15:00 Yi Zhang, Istanbul
Adjoining cofinitary permutations
Wednesday, October 4, 2000: Institute seminar
14:00-15:00 John Baldwin, Chicago
Free Amalgamations
15:30-16:30 Martin Ziegler, Freiburg
the Lascar Galois Group
Tuesday, October 3, 2000: Institute seminar
14:00-15:00 John Baldwin, Chicago
Finite rank expansions of fields
Wednesday, September 27, 2000: Institute seminar
14:00-15:00 Alexander Kechris, Pasadena
Linear algebraic groups and descriptive set theory
15:30-16:30 Tapani Hyttinen, Helsinki
Potential isomorphism and non-structure
Tuesday, September 26, 2000: Informal seminar
14:00-15:00 Olivier Lessmann, Chicago
Simplicity inside a homogeneous model
Tuesday, September 19, 2000: Institute seminar
14:00-15:00 Saharon Shelah, Jerusalem and Rutgers
Density of minimal types for non-elementary classes
15:30-16:30 Jaroslav Nesetril, Prague
On the homomorphism order of structures
Wednesday, September 13, 2000: Institute seminar
14:00-15:00 Hugh Woodin, Berkeley
The continuum hypothesis revisited
15:30-16:30 Sy D. Friedman, Vienna
The appeal of 0\#
Tuesday, September 12, 2000: Informal seminar
14:00-15:00 Stevo Todorcevic, Paris
Short tutorial on coherent sequences
Wedensday, September 6, 2000: Institute seminar
11:30-12:30 Stevo Todorcevic, Paris
Coherent sequences
14:00-15:00 Simon Thomas, Rutgers
The complexity of the classification problem for torsion-free
abelian groups of rank two
Tuesday, September 5, 2000: Informal seminar
14:00-15:00 Paul Larson. Kobe
Revisiting Goedel's argument for the true power of the continuum
|
