38 problems
Let be the theory under consideration, and let be a definable equivalence relation over . The relation is finite if its equiva…
Let be an ultraproduct of the fields or over a non-principal ultrafilter, and let be a partitioned formula with…
Let be a henselian valued field of positive characteristic. A valued field is tame if it satisfies the standard tameness conditions for henselian valued fields. NTP2 transf…
Let be a complete discrete valued field of characteristic zero with residual characteristic , and let be its residue field. For a field of characteris…
Axiomatizability conjecture. There exists a theory in the language of globally valued fields whose models are exactly the existentially closed globally valued fields of archimedean…
Let be an algebraically maximal valued field with divisible value group and perfect residue field . A field is called geometrically if every smooth projective sepa…
Let be a valued field, and let an Artin–Schreier (AS) tower mean a tower formed through Artin–Schreier extensions. Assume that is Henselian, perfect, and has…
Definable compact quotient conjecture. There is a -definable dfg subgroup of such that is definable, rather than merely interpretable, and definably…
Split-solvability conjecture. The group is virtually a -split solvable algebraic group.
Connected-component conjecture. One has
Conjecture on definably compact groups. The group is generically stable, and
Let be a henselian defectless valued field with divisible value group and residue field . A field has the separably rationally connected rational-point property if every sep…
Let be a tame valued field with divisible value group and residue field . Let be a separably rationally connected variety over , and set . Valuation conjectur…
Let be an algebraically maximal valued field with divisible value group and perfect residue field . A field is geometrically if every smooth projective separably r…
Let be a complete discrete valued field of characteristic with residue field , and let be a -algebra over . A maximal subfield of is totally ramified cycli…
Generalised Albert form conjecture. Every such form is a generalised Albert form.
Let be a complete discrete valued field of characteristic with residue field , and let be a -algebra over , meaning a central simple algebra whose center has…
Let be a field whose pure field theory is NIP, and let be a henselian valuation on . Write for the resulting valued field. Jahnke's NIP henselian expansi…
Let be the valuation ring of a field with residue map , and let be a -definable grou…
For each , let be constants. Second selection lemma over valued fields. For every valued field , every , every ,…
Sierksma's Dutch cheese conjecture. There are at least partitions of into parts whose convex hulls intersect. The conjecture extends the Dutch cheese conjecture fr…
Let be a field. A structure is distal if it has the model-theoretic distality property. Henselian residue-field conjecture. Suppose has a distal expansion; then has a h…
Let be a perfect field of positive characteristic, and let be a -topology on . Positive-characteristic decomposition conjecture. The topology is generated…
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.