An Ultrapower Analogue of the Kronecker Function Ring

We introduce an analogue of the Kronecker function ring construction in the ultrapower setting, and study when it gives a Bezout domain.