Sadie Kaye

Publications

  1. 2014
  2. Published

    Interpretations between ω-logic and second-order arithmetic

    Sadie Kaye, 1 Sep 2014, In: Journal of Symbolic Logic. 79, 03, p. 845-858

    Research output: Contribution to journalArticlepeer-review

  3. Published

    CIRCULARITY IN SOUNDNESS AND COMPLETENESS

    Sadie Kaye, 1 Mar 2014, In: The Bulletin of Symbolic Logic. 20, 01, p. 24-38

    Research output: Contribution to journalArticlepeer-review

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

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

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

  8. 2011
  9. Published

    Tennenbaum's theorem for models of arithmetic

    Sadie Kaye, 1 Jan 2011, Set theory, arithmetic, and foundations of mathematics.

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

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

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

  13. Published

    On bounding lemma for KF

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

    Research output: Contribution to conference (unpublished)Paper

  14. 2008
  15. 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

Previous 1 2 Next