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

Michiel De Smet

Awards & Distinctions

7 Results

2017

A glimpse at polynomials with quantifiers

Andrey BovykinMichiel De Smet

A2 Journal Article in JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS

2014

Phase transitions related to the pigeonhole principle

Michiel De SmetAndreas Weiermann

2012

Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal

Michiel De SmetAndreas Weiermann

A1 Journal Article in ANNALS OF PURE AND APPLIED LOGIC

Sharp thresholds for a phase transition related to weakly increasing sequences

Michiel De SmetAndreas Weiermann

A1 Journal Article in JOURNAL OF LOGIC AND COMPUTATION

2011

Unprovability and phase transitions in Ramsey theory

Michiel De SmetAndreas WeiermannAndrey Bovykin

2010

A miniaturisation of Ramsey's theorem

Michiel De SmetAndreas Weiermann

2008

Phase transitions for weakly increasing sequences

Michiel De SmetAndreas Weiermann