Journal of Symbolic Logic, 0022-4812

Journal

Publications

  1. Article › Research › Peer-reviewed
  2. Published

    Bar recursion and products of selection functions

    Martin Escardo, 1 Mar 2015, In: Journal of Symbolic Logic. 80, 01, p. 1-28 28 p.

    Research output: Contribution to journalArticlepeer-review

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

  4. Published

    Sublocales in Formal Topology

    Steven Vickers, 1 Jun 2007, In: Journal of Symbolic Logic. 72, 2, p. 463-482 20 p.

    Research output: Contribution to journalArticlepeer-review