Works matching IS 09335846 AND DT 2006 AND VI 45 AND IP 7

Results: 6
    1
    2

    Well-foundedness in Realizability.

    Published in:
    Archive for Mathematical Logic, 2006, v. 45, n. 7, p. 795, doi. 10.1007/s00153-006-0003-5
    By:
    • Hofmann, M.;
    • van Oosten, J.;
    • Streicher, T.
    Publication type:
    Article
    3
    4

    Projective Well-orderings of the Reals.

    Published in:
    Archive for Mathematical Logic, 2006, v. 45, n. 7, p. 783, doi. 10.1007/s00153-006-0002-6
    By:
    • Caicedo, Andrés Eduardo;
    • Schindler, Ralf
    Publication type:
    Article
    5

    Strong Enumeration Reducibilities.

    Published in:
    Archive for Mathematical Logic, 2006, v. 45, n. 7, p. 869, doi. 10.1007/s00153-006-0012-4
    By:
    • Omanadze, Roland Sh.;
    • Sorbi, Andrea
    Publication type:
    Article
    6