Sadie Kaye

Publications

  1. Published

    Amphi-ZF : axioms for Conway games

    Sadie Kaye, 1 May 2012, In: Archive for Mathematical Logic. 51, 3-4, p. 353-371 19 p.

    Research output: Contribution to journalArticle

  2. Published

    Transplendent Models: Expansions Omitting a Type

    Sadie Kaye, 1 Jan 2012, In: Notre Dame Journal of Formal Logic. 53, 3, p. 413-428

    Research output: Contribution to journalArticlepeer-review

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

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

  5. Accepted/In press

    The model theory of generic cuts

    Sadie Kaye, 2012, (Accepted/In press) Logic without Borders, a special volume in honour of Jouko Väänänen's Sixtieth Birthday. Cornaros, C., Dimitracopoulos, C. & Cégielski, C. (eds.). CSLI Publications, (Lecture Notes).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Published

    On bounding lemma for KF

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

    Research output: Contribution to conference (unpublished)Paper

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

  8. Published

    The Mathematics of Logic

    Sadie Kaye, 1 Jul 2007, Cambridge University Press.

    Research output: Book/ReportBook

  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

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