[FOM] Workshop on Paris Harrington Ramsey numbers and independence results
weiermann at math.uu.nl
Thu Oct 14 16:29:22 EDT 2004
Workshop on Paris Harrington Ramsey numbers and independence results
>From 15-19.11.2004 there will be a research
workshop on recent developments in combinatorics
(in particular Ramsey theory) and independence
results for arithmetic at the Mathematics department
in Utrecht. Special emphasis will be given
on classifying the phase transition from
provability to independence in Paris
Harrington style assertions.
The idea is to gather people working
in combinatorics, proof theory and non standard
models for joint research during 15.-19.11.2004.
Participants include Andrey Bovykin, Lorenzo Carlucci,
Gyesik Lee and Andreas Weiermann (organisation).
The workshop is funded by NWO
through contract NWO 613.080.000.
More information about the FOM