Basket

  1. 1.
    0561027 - MÚ 2023 RIV US eng J - Journal Article
    Khaniki, Erfan
    New relations and separations of conjectures about incompleteness in the finite domain.
    Journal of Symbolic Logic. Roč. 87, č. 3 (2022), s. 912-937. ISSN 0022-4812. E-ISSN 1943-5886
    EU Projects: European Commission(XE) 339691 - FEALORA
    Institutional support: RVO:67985840
    Keywords : disjoint NE-sets * finite consistency * oracles * propositional proof systems
    OECD category: Pure mathematics
    Impact factor: 0.6, year: 2022
    Method of publishing: Limited access
    https://doi.org/10.1017/jsl.2021.99
    Permanent Link: https://hdl.handle.net/11104/0333783
    FileDownloadSizeCommentaryVersionAccess
    Khaniki3.pdf2386.5 KBPublisher’s postprintrequire
     
     

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.