Výsledky vyhledávání
- 1.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.3, rok: 2022
Způsob publikování: Open access
https://doi.org/10.1002/malq.202300001
Trvalý link: https://hdl.handle.net/11104/0344971Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 0 290.9 KB Vydavatelský postprint povolen - 2.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.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2023.103269
Trvalý link: https://hdl.handle.net/11104/0342097Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 0 743.8 KB Vydavatelský postprint vyžádat - 3.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.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2022.103181
Trvalý link: https://hdl.handle.net/11104/0333265Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 0 789.5 KB Vydavatelský postprint vyžádat - 4.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
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00153-021-00810-6
Trvalý link: https://hdl.handle.net/11104/0332500Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 2 674.5 KB Vydavatelský postprint vyžádat - 5.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
Způsob publikování: Omezený přístup
https://doi.org/10.1002/malq.202100020
Trvalý link: http://hdl.handle.net/11104/0330805Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 473 KB Vydavatelský postprint vyžádat - 6.0543608 - MÚ 2022 RIV US eng J - Článek v odborném periodiku
Jeřábek, Emil
On the complexity of the clone membership problem.
Theory of Computing Systems. Roč. 65, č. 5 (2021), s. 839-868. ISSN 1432-4350. E-ISSN 1433-0490
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: clone membership * Boolean functions * polynomial hierarchy * threshold functions
Obor OECD: Pure mathematics
Impakt faktor: 0.616, rok: 2021
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s00224-020-10016-7
Trvalý link: http://hdl.handle.net/11104/0320795Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 940.8 KB Vydavatelský postprint vyžádat - 7.0524632 - MÚ 2021 RIV NL eng J - Článek v odborném periodiku
Jeřábek, Emil
Rules with parameters in modal logic II.
Annals of Pure and Applied Logic. Roč. 171, č. 10 (2020), č. článku 102829. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA19-05497S
Institucionální podpora: RVO:67985840
Klíčová slova: admissible rule * computational complexity * equational unification * modal logic
Obor OECD: Pure mathematics
Impakt faktor: 0.678, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2020.102829
Trvalý link: http://hdl.handle.net/11104/0308973Název souboru Staženo Velikost Komentář Verze Přístup Jerabek2.pdf 2 1.1 MB Vydavatelský postprint vyžádat - 8.0524146 - MÚ 2021 RIV SG eng J - Článek v odborném periodiku
Jeřábek, Emil
Recursive functions and existentially closed structures.
Journal of Mathematical Logic. Roč. 20, č. 1 (2020), č. článku 2050002. ISSN 0219-0613. E-ISSN 1793-6691
Grant CEP: GA AV ČR IAA100190902; GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: classification theory * relative interpretation * representability of recursive functions
Obor OECD: Pure mathematics
Impakt faktor: 0.840, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1142/S0219061320500026
Trvalý link: http://hdl.handle.net/11104/0308510Název souboru Staženo Velikost Komentář Verze Přístup Jerabek1.pdf 1 753.9 KB Vydavatelský postprint vyžádat - 9.0523579 - MÚ 2021 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Induction rules in bounded arithmetic.
Archive for Mathematical Logic. Roč. 59, č. 3-4 (2020), s. 461-501. ISSN 0933-5846. E-ISSN 1432-0665
Grant CEP: GA ČR GBP202/12/G061
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * parameter-free induction
Obor OECD: Pure mathematics
Impakt faktor: 0.287, rok: 2020
Způsob publikování: Omezený přístup
https://link.springer.com/article/10.1007%2Fs00153-019-00702-w
Trvalý link: http://hdl.handle.net/11104/0307919Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 2 646.7 KB Vydavatelský postprint vyžádat - 10.0504577 - MÚ 2020 RIV DE eng J - Článek v odborném periodiku
Jeřábek, Emil
Rigid models of Presburger arithmetic.
Mathematical Logic Quarterly. Roč. 65, č. 1 (2019), s. 108-115. ISSN 0942-5616. E-ISSN 1521-3870
GRANT EU: European Commission(XE) 339691 - FEALORA
Institucionální podpora: RVO:67985840
Klíčová slova: Presburger arithmetic * rigid models
Obor OECD: Pure mathematics
Impakt faktor: 0.244, rok: 2019
Způsob publikování: Open access
http://dx.doi.org/10.1002/malq.201800019
Trvalý link: http://hdl.handle.net/11104/0296176Název souboru Staženo Velikost Komentář Verze Přístup Jerabek.pdf 1 173.9 KB Vydavatelský postprint povolen