Basket

0565843 - ÚI 2023 RIV GB eng J - Journal Article
Fernández-Duque, David - Joosten, J.J. - Pakhomov, F. - Papafilippou, K. - Weierman, A.
Arithmetical and Hyperarithmetical Worm Battles.
Journal of Logic and Computation. Roč. 32, č. 8 (2022), s. 1558-1584. ISSN 0955-792X. E-ISSN 1465-363X
Institutional support: RVO:67985807
Keywords : provability logics * independence results * ordinal analysis
OECD category: Pure mathematics
Impact factor: 0.7, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1093/logcom/exac067
Permanent Link: https://hdl.handle.net/11104/0337335