We define a rich model to be one which contains a proper elementary substructure isomorphic to itself. Existence, nonstructure, and categoricity theorems for rich models are proved. A theory T which has fewer than $\min(2^\lambda,\beth_2)$ rich models of cardinality $\lambda(\lambda > |T|)$ is totally transcendental. We show that a countable theory with a unique rich model in some uncountable cardinal is categorical in ℵ 1 and also has a unique countable rich model. We also consider a stronger notion of richness, (...) and use it to characterize superstable theories. (shrink)

In the aftermath of World War II, U.S. policy toward the Asian colonies of the European powers followed a simple rule: where the nationalists in a territory were leftist (as in Vietnam), Washington would support the reimposition of European colonial rule, while in those places where the nationalist movement was safely nonleftist (India, for example), Washington would support their independence as a way to remove them from the exclusive jurisdiction of a rival power. At first, Indonesian nationalists were not deemed (...) sufficiently pliable, so U.S.-armed British troops (assisted by Japanese soldiers) went into action against the Indonesians to pave the way for the return of Dutch troops, also armed by the United States. In 1948, however, moderate Indonesian nationalists under Sukarno crushed a left-wing coup attempt, and Washington then decided that the Dutch should be encouraged to settle with Sukarno, accepting Indonesian independence. (shrink)

Let K be a finite set of finite structures. We give a syntactic characterization of the property: every element of K is injective in ISP(K). We use this result to establish that A is injective in ISP(A) for every two-element algebra A.

We characterize the model companions of universal Horn classes generated by a two-element algebra (or ordered two-element algebra). We begin by proving that given two mutually model consistent classes M and N of L (respectively L') structures, with $\mathscr{L} \subseteq \mathscr{L}'$ , M ec = N ec ∣ L , provided that an L-definability condition for the function and relation symbols of L' holds. We use this, together with Post's characterization of ISP(A), where A is a two-element algebra, to show (...) that the model companions of these classes essentially lie in the classes of posets and semilattices, or characteristic two groups and relatively complemented distributive lattices. (shrink)

There Is an Alternative: Economic Democracy and Participatory Economics, A Debate.