Recent important results in Maths and Logic

Decidability and undecidability

  1. The integers are first order definable by a universal formula in the field of rationals.
    By Jochen Koenigsmann,
    Survey Published in Lecture Notes in Mathematics, vol. 2111

Knot theory

  1. Explicit upper bounds for Reidemeister moves for recognizing unknots and not equivalence.
    unknots by Marc Lackenby, and
    knotequivalence by Alexander Coward and Marc Lackenby.
    slidesby A. Coward.
    slidesby A. Lackenby.