Sadie Kaye

Publications

  1. 2002
  2. 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

  3. 2006
  4. 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

  5. 2007
  6. 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

  7. 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

  8. Published

    The Mathematics of Logic

    Sadie Kaye, 1 Jul 2007, Cambridge University Press.

    Research output: Book/ReportBook

  9. 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

  10. 2008
  11. Published

    Generic cuts in models of arithmetic

    Sadie Kaye, 1 Apr 2008, In: Mathematical Logic Quarterly. 54, 2, p. 129-144 16 p.

    Research output: Contribution to journalArticle

  12. 2010
  13. Published

    Automorphisms and constructions of models of set theory

    Sadie Kaye, 1 Jan 2010, p. 73-88. 16 p.

    Research output: Contribution to conference (unpublished)Paper

  14. Published

    On bounding lemma for KF

    Sadie Kaye, 1 Jan 2010, p. 89-95. 7 p.

    Research output: Contribution to conference (unpublished)Paper

  15. Published

    Truth in generic cuts

    Sadie Kaye, 1 May 2010, In: Annals of Pure and Applied Logic. 161, 8, p. 987-1005 19 p.

    Research output: Contribution to journalArticle

Previous 1 2 Next