2016/05/15 by Harry Crane, Crane, Harry, Henry Towsner +1
Mathematics · #03C07 (Basic properties of first-order languages and structures) #03C98 (Applications of model theory) #60G09 (exchangeability) #FOS: Mathematics #Logic (math.LO) #Probability (math.PR) #math.LO #math.PR #msc:03C07 #msc:03C98 #msc:60G09
paper · pdf · doi:10.48550/arxiv.1605.04484
arxiv created 2016/05/15 · arxiv updated 2016/05/17
We describe an Aldous--Hoover-type characterization of random relational structures that are exchangeable relative to a fixed structure which may have various equivalence relations. Our main theorem gives the common generalization of the results on relative exchangeability due to Ackerman \citeAckerman2015 and Crane and Towsner \citeCraneTowsner2015 and hierarchical exchangeability results due to Austin and Panchenko \citeAustinPanchenko2014.