Logic & Computation Workshop
Tahuna Beach, Nelson, South
Island, New Zealand
11 -16 January 2004
• Lecture Material
Here are links to downloadable files of material from the speakers' presentations.
Ian Hodkinson:
Finite model property of guarded fragments lectures 1 - 3 (pdf)
Carl Jockusch
- Herrmann's work on the arithmetical complexity of infinite
chains and antichains in computable partial orderings. pdf
- The logical strength and effective content of the thin set
theorem and the free set theorem. pdf
Automatic Structures lecture 1 , lecture 2 , lecture 3 (Power Point)
Dexter Kosen:
Kleene algebra with tests lecture 1 , lecture 2 , lecture 3 (Power Point)
Steffen Lempp:
The computable model theory of uncountably categorical models
lecture 1 , lecture 2 , lecture 3 (pdf)
Joe Miller
- Degrees of unsolvability of continuous functions. pdf
- Measuring the randomness of random reals. pdf
• More photographs
• The old workshops pages are now here.