Basket

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