Notre Dame Journal of Formal Logic, 0029-4527

Journal

1 - 3 out of 3Page size: 10

Publications

  1. 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 journal › Article › peer-review

  2. Published

    Introduction: Set Theory and Higher-Order Logic: Fundational Issues and Mathematical Development

    Salvatore Florio, 2015, In: Notre Dame Journal of Formal Logic. 56, 1

    Research output: Contribution to journal › Special issue

  3. 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 journal › Article