Academic Bibliography

Search 200 years of publications by Ghent University researchers.

Michiel De Smet

Add to list
- Journal Article
- A2
- open access
A glimpse at polynomials with quantifiers

Andrey Bovykin and Michiel De Smet (UGent)

(2017) JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS. 4(10). p.3239-3261
Add to list
- Conference Paper
- C1
- open access
Phase transitions related to the pigeonhole principle

Michiel De Smet (UGent) and Andreas Weiermann (UGent)

(2014) Lecture Notes in Computer Science. 8493. p.123-132
Add to list
Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal

Michiel De Smet (UGent) and Andreas Weiermann (UGent)

(2012) ANNALS OF PURE AND APPLIED LOGIC. 163(6). p.669-680
Add to list
Sharp thresholds for a phase transition related to weakly increasing sequences

Michiel De Smet (UGent) and Andreas Weiermann (UGent)

(2012) JOURNAL OF LOGIC AND COMPUTATION. 22(2). p.207-211
Add to list
- PhD Thesis
- open access
Unprovability and phase transitions in Ramsey theory

Michiel De Smet (UGent)

(2011)
Add to list
A miniaturisation of Ramsey's theorem

Michiel De Smet (UGent) and Andreas Weiermann (UGent)

(2010) Lecture Notes in Computer Science. 6158. p.118-125
Add to list
Phase transitions for weakly increasing sequences

Michiel De Smet (UGent) and Andreas Weiermann (UGent)

(2008) LECTURE NOTES IN COMPUTER SCIENCE. 5028. p.168-174