RIV - aktuální sběr
0604291 - MÚ 2025 RIV CH eng A - Abstrakt
Jeřábek, Emil
Disjunction-free disjunction property.
Unity of Logic and Computation. Cham: Springer, 2023 - (Della Vedova, G.; Dundua, B.; Lempp, S.; Manea, F.). xli-xlii. ISBN 978-3-031-36977-3. ISSN 0302-9743.
[19th Conference on Computability in Europe, CiE 2023. 24.07.2023-28.07.2023, Batumi]
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * intuitionistic implicational logic * feasible disjunction property
Obor OECD: Pure mathematics
https://link.springer.com/content/pdf/bfm:978-3-031-36978-0/1
Jeřábek, Emil
Trvalý odkaz:
https://hdl.handle.net/11104/0361646
Uložit do RIV jako O
0618214 - MÚ 2025 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
A note on the theory of well orders.
Bulletin of Symbolic Logic. Roč. 30, č. 4 (2024), s. 538-542. ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: first-order theory * well order * transfinite induction * decidable theory
Obor OECD: Pure mathematics
Impakt faktor: 1.1, rok: 2024 ; AIS: 0.933, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1017/bsl.2024.53
Jeřábek, Emil
Trvalý odkaz:
https://hdl.handle.net/11104/0365021