Andrey Bovykin

According to our database, Andrey Bovykin authored at least 6 papers between 2006 and 2017.

Collaborative distances:

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

2017

A Glimpse at Polynomials with Quantifiers.

Andrey Bovykin, Michiel De Smet

FLAP, 2017

The strength of infinitary Ramseyan principles can be accessed by their densities.

Andrey Bovykin, Andreas Weiermann

Ann. Pure Appl. Log., 2017

2010

Unprovability threshold for the planar graph minor theorem.

Andrey Bovykin

Ann. Pure Appl. Log., 2010

2009

Exact unprovability results for compound well-quasi-ordered combinatorial classes.

Andrey Bovykin

Ann. Pure Appl. Log., 2009

2008

Resplendent models and S₁¹{\Sigma_1^1} -definability with an oracle.

Andrey Bovykin

Arch. Math. Log., 2008

2006

Deciding Semantic Matching of Stateless Services.

Duncan Hull, Evgeny Zolin, Andrey Bovykin, Ian Horrocks, Ulrike Sattler, Robert Stevens

Proceedings of the Proceedings, 2006