Richard Kaye's publications

This lists all of Richard Kaye's books and other major publications. A full list of research papers is available too. Where possible, links and/or downloadable resources are provided.

Major publications

• The Mathematics of Logic: A guide to completeness theorems and their applications. Cambridge University Press, Jul 30th, 2007. ISBN-13: 978-0521708777 (hardback); ISBN-13: 978-0521882194 (paperback). With a companion web page.
• Linear Algebra by Richard Kaye and Robert Wilson. Oxford University Press, February 1998, xii+230 pages, ISBN 0 19 850238 9 (Hardback) and ISBN 0 19 850237 0 (Paperback). A textbook for second-year level undergraduate linear algebra. Further information (including a short list of typos and errors) can be found on our linear algebra home page.
• Automorphisms of first-order structures. Richard Kaye and Dugald Macpherson (eds), OUP 1994, ISBN 0 19 853468 X, 390 pages. Errata list and some other information.
• Models of Peano arithmetic. Oxford Logic Guides 15, OUP 1991, ISBN 0 19 853213 X, 292 pages. Second edition in preparation.

Research papers

A full list of research papers is available too. Where possible, links and/or downloadable resources are provided. An incomplete list of other papers, including work in progress and incomplete papers is also available.

Web publications

I have a number of substantial web publications, mini-textbooks etc, on-line on this server. This include a free (GPL'ed) textbook on real analysis and a computer system, GLOSS, for authoring XML, MathML and other XML formats, with full documentation. This can be obtained via this link.

Return to Richard Kaye's home page