Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Outputs & Impact
Infrastructuur
Contact
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
Profiel
Projecten
Publicaties & datasets
Activiteiten
Prijzen & Erkenningen
Octrooien
Resultaten
:
ALLES
(
11
)
Sorteer op :
Titel (a-z)
Titel (a-z)
Titel (z-a)
Chronologisch op startjaar (nieuw naar oud)
Chronologisch op startjaar (oud naar nieuw)
Als
Administratief verantwoordelijk promotor
15-12-2022 → 20-09-2026
Naar hogere principes van de goede ordening voor de rekenkunde van de derde ordening
Doctoraal onderzoeker: Philipp Provenzano
19-09-2023 → 20-09-2026
Toepassingen van modale logica op problemen van ordinaal-analyse
Doctoraal onderzoeker: Vlad Lazar
Als
Promotor
23-06-2022 → 20-09-2026
Analyse van Impredicatieve bewijsbaarheidslogica's
Doctoraal onderzoeker: Alakh Dhruv Chopra
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)
06-10-2025 → 20-09-2026
Niet-welgefundeerde bewijssystemen voor infinitaire modale μ-calculus
Doctoraal onderzoeker: Milan Morreel
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)