Finitely generated congruences on tropical rational function semifields

Abstract: We prove that the congruence on the tropical rational function semifield in $n$-variables associated with a subset $V$ of $\boldsymbol{R}^n$ is finitely generated if and only if the closure of $V$ is a finite union of $\boldsymbol{R}$-rational polyhedral sets. With this fact, we characterize rational function semifields of tropical curves.