Key points are not available for this paper at this time.
We prove that the congruence on the tropical rational function semifield in n-variables associated with a subset V of Rⁿ is finitely generated if and only if the closure of V is a finite union of R-rational polyhedral sets. With this fact, we characterize rational function semifields of tropical curves.
JuAe Song (Wed,) studied this question.