Works matching IS 09335846 AND DT 2024 AND VI 63 AND IP 5/6


Results: 12
    1
    2
    3

    Herbrandized modified realizability.

    Published in:
    Archive for Mathematical Logic, 2024, v. 63, n. 5/6, p. 703, doi. 10.1007/s00153-024-00917-6
    By:
    • Ferreira, Gilda;
    • Firmino, Paulo
    Publication type:
    Article
    4

    Cohesive powers of structures.

    Published in:
    Archive for Mathematical Logic, 2024, v. 63, n. 5/6, p. 679, doi. 10.1007/s00153-024-00916-7
    By:
    • Harizanov, Valentina;
    • Srinivasan, Keshav
    Publication type:
    Article
    5

    Pcf without choice Sh835.

    Published in:
    Archive for Mathematical Logic, 2024, v. 63, n. 5/6, p. 623, doi. 10.1007/s00153-023-00900-7
    By:
    • Shelah, Saharon
    Publication type:
    Article
    6
    7
    8
    9
    10

    Essential hereditary undecidability.

    Published in:
    Archive for Mathematical Logic, 2024, v. 63, n. 5/6, p. 529, doi. 10.1007/s00153-024-00911-y
    By:
    • Visser, Albert
    Publication type:
    Article
    11

    Varieties of truth definitions.

    Published in:
    Archive for Mathematical Logic, 2024, v. 63, n. 5/6, p. 563, doi. 10.1007/s00153-024-00909-6
    By:
    • Gruza, Piotr;
    • Łełyk, Mateusz
    Publication type:
    Article
    12