Michiel De Smet

According to our database, Michiel De Smet authored at least 6 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2017

A Glimpse at Polynomials with Quantifiers.

Andrey Bovykin, Michiel De Smet

FLAP, 2017

2014

Phase Transitions Related to the Pigeonhole Principle.

Michiel De Smet, Andreas Weiermann

Proceedings of the Language, Life, Limits - 10th Conference on Computability in Europe, 2014

2012

Sharp Thresholds for a Phase Transition Related to Weakly Increasing Sequences.

Michiel De Smet, Andreas Weiermann

J. Log. Comput., 2012

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

Michiel De Smet, Andreas Weiermann

Ann. Pure Appl. Log., 2012

2010

A Miniaturisation of Ramsey's Theorem.

Michiel De Smet, Andreas Weiermann

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2008

Phase Transitions for Weakly Increasing Sequences.

Michiel De Smet, Andreas Weiermann

Proceedings of the Logic and Theory of Algorithms, 2008