A THEORY OF GENERALISED POPULATION PROCESSES Ricky Der Advisors: Charles Epstein and Joshua Plotkin A systematic study of population processes subsuming the Wright-Fisher model in classical population genetics is undertaken. Discrete and continuum methods are developed for the analysis of these generalised processes, which in many respects can exhibit strikingly different dynamics than the cano...

We investigate the connection between the two major mathematical frameworks for modeling interactive beliefs: Harsanyi type spaces and possible-worlds–style probability frames. While translating the former into the latter is straightforward, we demonstrate that the reverse translation relies implicitly on a background logical language. Once this “language parameter” is made explicit, it reveals...

Deligne has expressed the hope that a Shimura variety whose weight is defined over Q is the moduli variety for a family of motives. Here we prove that this is the case for “most” Shimura varieties. As a consequence, for these Shimura varieties, we obtain an explicit interpretation of the canonical model and a modular description of its points in any field containing the reflex field. Moreover, ...

The canonical model of labor supply is extended to account for subsistence needs and a frequently rigid division of labor within families (gender). Various theories that have been put forward are thus reconciled, in particular with respect to the distinct work choices of the poor. The model predicts negative labor supply elasticities for secondary workers at low wage rates and positive ones at ...

The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every topological space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1 in that all its elements satisfy the topological inter...

Segerberg established an analogue of the canonical model theorem in modal logic for infinitary modal logic. However, the logics studied by Segerberg and Goldblatt are based on denumerable sets of pairs 〈Γ, α〉 of sets Γ of well-formed formulae and well-formed formulae α. In this paper I show how a generalisation of the infinite cut-rule used by Segerberg and Goldblatt enables the removal of the ...

We introduce a simplified Kripke type semantics for the {→,∧, ∗, !,1}-fragment of intuitionistic linear logic, and prove a completeness theorem with respect to the semantics by using a simple and intuitive canonical model.

Elections, as the institution through which citizens choose their political agents, are at the core of representative democracy. It is therefore appropriate that they occupy a central position in the study of democratic politics. The formal analysis of elections traces back to the work of Hotelling (1929), Downs (1957), and Black (1958), who apply mathematical methods to understand the equilibr...

We consider the problem of embedding entities and relationships of multirelational data in low-dimensional vector spaces. Our objective is to propose a canonical model which is easy to train, contains a reduced number of parameters and can scale up to very large databases. Hence, we propose TransE, a method which models relationships by interpreting them as translations operating on the low-dim...

A " correct " selection of attributes (features) is vital in data mining. As a first step, this paper constructs all possible attributes of a given relation. The results are based on the observations that each relation is isomorphic to a unique abstract relation, called canonical model. The complete set of attributes of the canonical model is, then, constructed. Any attribute of a relation can ...