Universal Skolem sorts for randomizations

Jorge Muñoz Carvajal (1)

1 AGL - Algèbre, géométrie, logique

We show that if a complete theory T in a countable language admits a universal Skolem sort, then its randomization T^R also admits such a sort. We also describe the groupoid associated to the randomization in terms of the groupoid associated to the original theory.

Domaines: Logique [math.LO]

Jorge Muñoz Carvajal. Universal Skolem sorts for randomizations. 2022. ⟨hal-03713904⟩