Los puntos clave no están disponibles para este artículo en este momento.
Demostramos que la congruencia en el semicampos de funciones racionales tropicales en n-variables asociada a un subconjunto V de Rⁿ es generada finitamente si y solo si el cierre de V es una unión finita de conjuntos poliedrales R-racionales. Con este hecho, caracterizamos los semicapas de funciones racionales de curvas tropicales.
JuAe Song (miércoles,) estudió esta cuestión.