Research Explorer

Uw browser ondersteunt geen JavaScript of JavaScript is niet ingeschakeld. Zonder JavaScript kan sommige functionaliteit van deze webapplicatie uitgeschakeld zijn of foutmeldingen veroorzaken. Raadpleeg om JavaScript in te schakelen de handleiding van uw browser of contacteer uw systeembeheerder.

Onderzoeker

Fedor Pakhomov

Prijzen & Erkenningen

Resultaten : ALLES ( 7 )

Als Promotor

01-02-2022 → 31-01-2027

BOF-TT-mandaat in Wiskundige logica, bewijstheorie

Mandaathouder: Fedor Pakhomov

Financiering: Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds

01-11-2024 → 31-10-2027

Kalibratie van de logische kracht van welquasiordes en beterquasiordes

Mandaathouder: Giovanni Solda

Financiering: Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)

01-10-2022 → 30-09-2026

Onderzoek naar Gödel versnellingen en onvelledigheidsfenomenen

Financiering: Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds

01-02-2022 → 31-01-2027

Recursie, reflectie, en tweede orde rekenkunde

Financiering: Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)

Als Copromotor

01-11-2022 → 31-10-2026

Naar hogere principes van de goede ordening voor de rekenkunde van de derde ordening

Mandaathouder: Philipp Provenzano

Financiering: Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)

Als Mandaathouder

01-02-2022 → 31-01-2027

BOF-TT-mandaat in Wiskundige logica, bewijstheorie

Mandaathouder: Fedor Pakhomov

Financiering: Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds

01-10-2020 → 31-01-2022

Recursie op ptykes

Mandaathouder: Fedor Pakhomov

Financiering: Fonds voor Wetenschappelijk Onderzoek - Vlaanderen (FWO)