Can a leech do maths? ... instinct tells you that this bloodsucker can no more "do maths" than it can play the trombone. This is a superficial view born of the bogus assumption that maths requires a mind.

(Editorial, New Scientist, 20 June 1998.)

By special request I have just put up on these web pages scans of my papers from the 1987 and 1988 Easter conferences in model theory in Berlin, DDR. These were not otherwose published and are difficult to obtain. They contain results on axiomatisations, quatifier complexity and parameter-free induction. Go to my "papers" page for more details.

Apart from mathematics I play the trombone a little, and if you didn't already know...

You can also do it in seven positions by moving your mouse over the musical notation in this image. (A freely downloadable version of this graphic is available here.)

You can try playing the correct note on the Trombone (moving your mouse over the music staff) and you might even find some hot-links there by clicking. (Don't worry if your embouchure is not up to it, since the same links are available as normal hyperlinks below.)

**A ** List of
publications and access to some unpublished papers

**Ab** Current and recent
undergraduate teaching duties

**Gb** Computer software,
including information on and links for GLOSS

I list here other important groups of pages that I maintain on this server.

A comprehensive set of pages on first-year real analysis, sequences and series.

A set of web pages to support my book The Mathematics of Logic, undergraduate courses and beyond, on logic, and in particular completeness and soundness theorems.

For information about LaTeX, go to my pages here. (These are looking rather long in the tooth now, sorry.)

GLOSS is a system for converting plain text to XML, XHTML, MathML, OpenMath and much more.

Robert Wilson and I have set up a page for our undergraduate text book Linear Algebra. At present this contains a fairly short list of known errors, but may well be expanded on in the future.

*Minesweeper is NP-complete!* *Infinite Minesweeper is
Turing complete!* For further information, go to my Minesweeper page.

Some of my photographs are available via Flickr at http://www.flickr.com/photos/richard314159/.

I have a webserver at http://mat140.bham.ac.uk. Some other web pages or local copies of other web pages are available via http://mat140.bham.ac.uk/~richard/.

You can obtain My GPG/PGP public key here. (For PGP, go to The international PGP Home Page.)

Richard Kaye

School of Mathematics

The University of Birmingham

Edgbaston

Birmingham

B15 2TT

U.K.

Fax: +44 121 414 3389

or email me at `R.W.Kaye AT
bham.ac.uk`

My personal blog (for not necessarily work-related things) is at http://jroller.com/page/moan.