The ideal purpose of the state has been variously conceived in political theory, leading to competing theories of state, one of which is the Social Contract Theory. With its earliest systematic postulation in the political philosophy of Thomas Hobbes, this theory gained much currency in the modern era. Although it was briefly eclipsed towards the turn of that era after Kant, it has been revived...

A tower between two regular languages is a sequence of strings such that all strings on odd positions belong to one of the languages, all strings on even positions belong to the other language, and each string can be embedded into the next string in the sequence. It is known that if there are towers of any length, then there also exists an infinite tower. We investigate upper and lower bounds o...

We show that for a measure -y on a Banach space directional different ¡ability implies quasi-translation invariance. This result is shown to imply the Cameron-Martin theorem. A second application is given in which 7 is the image of a Gaussian measure under a suitably regular map.

Every countable, strictly stable theory either has the Dimensional Order Property (DOP), is deep, or admits an ‘abelian group witness to unsuperstability’. To obtain this and other results, we develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.

By explicit construction of the ADHM data, we prove the existence of a charge seven instanton with icosahedral symmetry. By computing the holonomy of this instanton we obtain a Skyrme field which approximates the minimal energy charge seven Skyrmion. We also present a one parameter family of tetrahedrally symmetric instantons whose holonomy gives a family of Skyrme fields which models a Skyrmio...

A trichotomy theorem for countable, stable, unsuperstable theories is offered. We develop the notion of a ‘regular ideal’ of formulas and study types that are minimal with respect to such an ideal.

Since the celebrated result of Fukushima on the connection between regular Dirichlet forms and Hunt processes in 1971, the theory of Dirichlet forms has been rapidly developed and has brought a wide range of applications in various related areas of mathematics and physics (see e.g. the three new books [BH 91], [MR 92], [FOT 94] and references therein). In this survey paper I shall mainly discus...