7 problems
Valuation conjecture. If is an unstable dp-finite field, then is valuation type.
Valuation conjecture. The group is an ideal in a valuation ring on ; equivalently, is a valuation ring.
Stabilizer-ring conjecture. There is a non-zero bounded subgroup for which is a multi-valuation ring on .
Valuation-type conjecture. If is a dp-finite field, then is stable or has valuation type.
Multi-valuation ideal conjecture. There is a small submodel for which the infinitesimals contain a nonzero multi-valuation ideal.
Henselianity conjecture. The valuation is henselian.
Let be a field, let be a good Bezout domain, and let denote the set of -infinitesimals. The -infinitesimals are an ideal in . This would pro…