Manage settings
MENU
About this site
In het Nederlands
Home
Researchers
Projects
Organisations
Publications
Infrastructure
Contact
Research Explorer
Your browser does not support JavaScript or JavaScript is not enabled. Without JavaScript some functions of this webapplication may be disabled or cause error messages. To enable JavaScript, please consult the manual of your browser or contact your system administrator.
Researcher
Fedor Pakhomov
Profile
Projects
Publications
Activities
Awards & Distinctions
Results
:
ALL
(
7
)
Order By :
Title (a-z)
Title (a-z)
Chronological by starting year (new to old)
As
Promotor
01 February 2022 → 31 January 2027
BOF-TT-professorship in Logic, Proof theory
Fellow: Fedor Pakhomov
Funding: Regional and community funding: Special Research Fund
01 October 2022 → 30 September 2026
Investigation of Gödelian speedup and incompleteness phenomenons.
Funding: Regional and community funding: Special Research Fund
01 November 2024 → 31 October 2027
Measuring the logical strength of well quasi-orders and better quasi-orders
Fellow: Giovanni Solda
Funding: Research Foundation - Flanders (FWO)
01 February 2022 → 31 January 2027
Recursion, reflection, and second-order arithmetic
Funding: Research Foundation - Flanders (FWO)
As
Copromotor
01 November 2022 → 31 October 2026
Towards higher-order well-ordering principles for third order arithmetic
Fellow: Philipp Provenzano
Funding: Research Foundation - Flanders (FWO)
As
Fellow
01 February 2022 → 31 January 2027
BOF-TT-professorship in Logic, Proof theory
Fellow: Fedor Pakhomov
Funding: Regional and community funding: Special Research Fund
01 October 2020 → 31 January 2022
Recursion on ptykes
Fellow: Fedor Pakhomov
Funding: Research Foundation - Flanders (FWO)