2024/02/06 by Kyle Gannon, Gannon, Kyle
Biochemistry, Genetics and Molecular Biology · Physics and Astronomy · #03C45 #03C95 #Black Holes and Theoretical Physics #FOS: Mathematics #Glycosylation and Glycoproteins Research #Logic (math.LO) #Protein Tyrosine Phosphatases
paper · pdf · doi:10.48550/arxiv.2402.04202
openalex publication_date 2024/02/06 · openalex created_date 2024/02/08 · openalex updated_date 2026/07/28
In an important (yet unpublished) research note, Ben Yaacov describes how to turn a global Keisler measures into a type over a monster model of the randomization. This transfer methods allow one to turn questions involving measures into those involving types (in continuous logic). Assuming that T is NIP, we show that the Morley product commutes with the transfer map for finitely satisfiable measures. We characterize when the Morley product commutes with the restriction map for pairs of global finitely satisfiable types in the randomization. We end by making some brief observations about the Ellis semigroup in this context.