We adapt the classical notion of building models by games to the setting of continuous model theory. As an application, we study to what extent canonical operator algebras are enforceable models. For example, we show that the hyperfinite II1 factor is an enforceable II1 factor if and only if the Connes Embedding Problem has a positive solution. We also show that the set of continuous functions ...

Abstract Equal pay litigation is often highly technical, with a drawn out and costly legal battle for claimants. This somewhat because of the way equal law constructed, as requirement to have specific, named comparators can be an area intense dispute. The complexity length cases look set increase parameters work value are explored, occupational segregation challenged in employment tribunals cou...

Sex discrimination in compensation is traditionally understood within a pay equity framework. Quite simply, “Are women paid the same as men in similarly situated jobs after controlling for legitimate explanatory factors?” In application, pay differences that cannot be accounted for by reasonable explanatory factors (e.g., tenure, performance) is evidence of sex discrimination in compensation an...

To measure the benefits of formal contract enforcement for society, I create a market with merchants and buyers, in which buyers can choose whether to buy, pay. A set multiple “state‐favored” ethnic groups control state. experimentally vary contracts are required composition buyer‐merchant pairs. The design separately identifies effect on buyers' incentive pay their buy. document two ways socie...

Recently, attention has been given to formally characterize security policies that are enforceable by different kinds of security mechanisms. A very important research problem is the characterization of security policies that are enforceable by execution monitors constrained by memory limitations. This paper contributes to give more precise answers to this research problem. To represent executi...