2 problems

Let $b[?]$ be a valuation and $Q$ an abstract key polynomial (ABKP) for $b[?]$. For an associated diskoid $b?)$, let $b[?]_{b?)}$ denote the induced function on $b[?][X]$. An RT ex…

Let $b[?]$ be a valuation on $K[X]$ and let $Qb[?]K[X]$ be an abstract key polynomial for $b[?]$, with $b?b[?]b[?]b?$. A diskoid is a subset $b?b[?]b[?]$ whose polynomial-value min…