Instellingen beheren
MENU
Over deze site
In English
Home
Onderzoekers
Projecten
Organisaties
Publicaties
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
Michiel De Smet
Profiel
Projecten
Publicaties
Activiteiten
Prijzen & Erkenningen
7
Resultaten
2017
A glimpse at polynomials with quantifiers
Andrey Bovykin
Michiel De Smet
A2
Artikel in een tijdschrift
in
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS
2017
2014
Phase transitions related to the pigeonhole principle
Michiel De Smet
Andreas Weiermann
C1
Conferentie
2014
2012
Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
Michiel De Smet
Andreas Weiermann
A1
Artikel in een tijdschrift
in
ANNALS OF PURE AND APPLIED LOGIC
2012
Sharp thresholds for a phase transition related to weakly increasing sequences
Michiel De Smet
Andreas Weiermann
A1
Artikel in een tijdschrift
in
JOURNAL OF LOGIC AND COMPUTATION
2012
2011
Unprovability and phase transitions in Ramsey theory
Michiel De Smet
Andreas Weiermann
Andrey Bovykin
Proefschrift
2011
2010
A miniaturisation of Ramsey's theorem
Michiel De Smet
Andreas Weiermann
P1
Conferentie
2010
2008
Phase transitions for weakly increasing sequences
Michiel De Smet
Andreas Weiermann
P1
Conferentie
2008