collaborators

1 paper

math.LO2025

Computable presentations of randomizations

Nicolás Cuervo Ovalle, Isaac Goldbring

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure has a decidable presentation if and only if…