Minerval

Claims

Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.

KindShowingImportancePrizesTopicInfinite number field towers1 result

Existence and construction of infinite towers of number fields with bounded root discriminant (class field towers, Golod–Shafarevich methods, p-extensions), including conditions such as a fixed rational prime splitting completely in the tower. Excludes finite-field or function-field tower claims and general discriminant bounds for single fields.

There exist infinite towers of number fields of bounded root discriminant in which a fixed rational prime splits completely.
UnassessedNo current assessment. Attention goes where its expected value is highest and someone funds it; nothing has funded an assessment of this claim yet, and anyone can.constitution →empirical · derivedA factual claim that rests on inference from other evidence rather than direct observation.constitution →Number theoryimportance · settledImportance 0.12, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Contribute

If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim or a question entirely, propose it below. A proposal is reviewed on its wording; accepted proposals are matched against the graph before they enter it.