Topics discussed included: the theory DOR and Sigma_1-completeness; initial segments and end-extensions; the theories PA, ISigma_n and BSigma_n; the theory IDelta_0 and Praikh's theorem.
A set of printed notes was available to participants, and a very slightly updated version has beed sent to the people on the email list. Please contact Richard Kaye, Mike Cox or Alain Reading if you would like a copy. (Available by email only.)
Topics discussed include: the Turing machine model and some of its variations; the main deterministic classes and speed-up theorems; reductions.
A set of printed notes was available to participants. These are being updated and this topic is being continued into session 2. The updated version will sent to the email list when available.