Nápověda

Jeřábek Emil

Publikace ASEP

RIV ID 4299256
Označit vše / Zobrazit všechny roky / Zrušit označení

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 8

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

0619396 - MÚ 2026 RIV GB eng J - Článek v odborném periodiku
Jeřábek, Emil
A simplified lower bound for implicational logic.
Bulletin of Symbolic Logic. Roč. 31, č. 1 (2025), s. 53-87. ISSN 1079-8986. E-ISSN 1943-5894
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * intuitionistic logic * natural deduction * Kleene slash
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.2025.6
Jeřábek, Emil
Trvalý odkaz: https://hdl.handle.net/11104/0366131

0570761 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Elementary analytic functions in VTC^0.
Annals of Pure and Applied Logic. Roč. 174, č. 6 (2023), č. článku 103269. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * elementary analytic functions * models of arithmetic * threshold circuits
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2023 ; AIS: 0.578, rok: 2023
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2023.103269
Jeřábek, Emil
Trvalý odkaz: https://hdl.handle.net/11104/0342097

0559081 - MÚ 2023 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Iterated multiplication in VTC0.
Archive for Mathematical Logic. Roč. 61, 5-6 (2022), s. 705-767. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * integer division * iterated multiplication * modular powering
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022 ; AIS: 0.495, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00153-021-00810-6
Jeřábek, Emil
Trvalý odkaz: https://hdl.handle.net/11104/0332500

0575115 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
Models of VTC^0 as exponential integer parts.
Mathematical Logic Quarterly. Roč. 69, č. 2 (2023), s. 244-260. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: logic * mathematics
Obor OECD: Pure mathematics
Impakt faktor: 0.4, rok: 2023 ; AIS: 0.347, rok: 2023
Způsob publikování: Open access
https://doi.org/10.1002/malq.202300001
Jeřábek, Emil
Trvalý odkaz: https://hdl.handle.net/11104/0344971

0560276 - MÚ 2024 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
On the proof complexity of logics of bounded branching.
Annals of Pure and Applied Logic. Roč. 174, č. 1 (2023), č. článku 103181. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: proof complexity * modal logic * intermediate logic * extended Frege system
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2023 ; AIS: 0.578, rok: 2023
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2022.103181
Jeřábek, Emil
Trvalý odkaz: https://hdl.handle.net/11104/0333265

0556685 - MÚ 2023 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
The theory of hereditarily bounded sets.
Mathematical Logic Quarterly. Roč. 68, č. 2 (2022), s. 243-256. ISSN 0942-5616. E-ISSN 1521-3870
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: hereditarily finite sets * pairing function * decidability
Obor OECD: Pure mathematics
Impakt faktor: 0.3, rok: 2022 ; AIS: 0.398, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1002/malq.202100020
Jeřábek, Emil
Trvalý odkaz: http://hdl.handle.net/11104/0330805

0644679 - MÚ 2026 RIV DE eng J - Článek v odborném periodiku
Pruss, A. R. - Jeřábek, Emil
Counting in Goodman and Quine’s constructive nominalism.
Synthese. Roč. 207, č. 1 (2026), č. článku 52. ISSN 0039-7857. E-ISSN 1573-0964
Institucionální podpora: RVO:67985840
Klíčová slova: counting * nominalism * Goodman * algorithmic complexity
Obor OECD: Pure mathematics
Impakt faktor: 1.3, rok: 2024 ; AIS: 0.809, rok: 2024
Způsob publikování: Open access
https://doi.org/10.1007/s11229-025-05406-8
Pruss, A. R.
Trvalý odkaz: https://hdl.handle.net/11104/0374539