Works matching IS 02190613 AND DT 2013 AND VI 13 AND IP 1


Results: 6
    1
    2

    PROOF THEORY OF WEAK COMPACTNESS.

    Published in:
    Journal of Mathematical Logic, 2013, v. 13, n. 1, p. 1350003-1, doi. 10.1142/S0219061313500037
    By:
    • TOSHIYASU ARAI
    Publication type:
    Article
    3

    SEPARATION PROBLEMS AND FORCING.

    Published in:
    Journal of Mathematical Logic, 2013, v. 13, n. 1, p. 1350002-1, doi. 10.1142/S0219061313500025
    By:
    • ZAPLETAL, JINDŘICH
    Publication type:
    Article
    4
    5
    6

    RELATIVE TO ANY NON-HYPERARITHMETIC SET.

    Published in:
    Journal of Mathematical Logic, 2013, v. 13, n. 1, p. 1250007-1, doi. 10.1142/S0219061312500079
    By:
    • GREENBERG, NOAM;
    • MONTALBAN, ANTONIO;
    • SLAMAN, THEODORE A.
    Publication type:
    Article