"On the decidability of generalized power series fields"

22 May 2014
Benjamin Rigler

Given a field K and an ordered abelian group G, we can form the field K((G)) of generalised formal power series with coefficients in K and indices in G. When is this field decidable? In certain cases, decidability reduces to that of K and G. We survey some results in the area, particularly in the case char K > 0, where much is still unknown.

  • Advanced Class Logic