Mathematical Logic Quarterly, 0942-5616

Journal

Publications

  1. 2017
  2. Published

    The localic compact interval is an Escardo-Simpson interval object

    Steven Vickers, 28 Dec 2017, In : Mathematical Logic Quarterly. 63, 6, p. 614–629

    Research output: Contribution to journalArticle

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

  5. Published

    A Localic Theory of Lower and Upper Integrals

    Steven Vickers, 1 Feb 2008, In : Mathematical Logic Quarterly. 54, 1, p. 109-123 15 p.

    Research output: Contribution to journalArticle

  6. 2002
  7. Published

    In domain realizability, not all functionals on C[-1,1] are continuous

    Martin Escardo, 1 Jan 2002, In : Mathematical Logic Quarterly. 48, 1, p. 41-44 4 p.

    Research output: Contribution to journalArticle