Sadie Kaye

Publications

  1. 2007
  2. Published

    On Interpretations of Arithmetic and Set Theory

    Sadie Kaye, 1 Oct 2007, In: Notre Dame Journal of Formal Logic. 48, 4, p. 497-510 14 p.

    Research output: Contribution to journalArticle

  3. Published

    The Mathematics of Logic

    Sadie Kaye, 1 Jul 2007, Cambridge University Press.

    Research output: Book/ReportBook

  4. Published

    Normal subgroups of nonstandard symmetric and alternating groups

    Sadie Kaye, 31 Jan 2007, In: Archive for Mathematical Logic. 46, 2, p. 107--121 15 p.

    Research output: Contribution to journalArticle

  5. Published

    Algumas configuracöes do Minesweeper

    Sadie Kaye, 2007, In: Sociedade Portuguesa de Matematica. Boletim . Janeiro 2007 (Número especial), p. 181-189 9 p.

    Research output: Contribution to journalArticlepeer-review

  6. 2006
  7. Published

    The GLOSS system for transformations from plain text to XML

    Sadie Kaye, 1 Jan 2006, p. 1-10. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  8. 2002
  9. Published

    Order-types of models of Peano arithmetic

    Sadie Kaye, 1 Jan 2002, Logic and Algebra. Vol. 302.

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 Next