Testing two-port memories requires the use of single-port tests as well as special two-port tests; the test strategy determines which tests have to be used. Many two-port memories have ports which are read-only or write-only; this impacts the possible tests for single-port and two-port memories, as well as the test strategy. This paper discusses the consequences of the port restrictions (read-o...

Now suppose that, inparticular, S is partially well-ordered (PWO) . This means ([3]) that whenever z o , . . ., 2 U, F, S there are indices x, ( such that a < P < w ; zx < zR . G . Higman proved ([2]) that, whenever S is P WO then 117s (< co) is PWO. On the other hand ([3]) there are PWO sets S such that 11's (w) is not PWO . Denote by V8(n) the set of all vectors of TVs(n) which have only a fi...

to laymen. They deal with emotional reactions to frustration and failure, to acute illness, to fertility and sterility, to divorce, and to death and suicide. The fourth and seventh of the above, by Dr. Leo Bartemeier and Dr. Jules Masserman respectively, are thought provoking and profound, and Dr. Spiegler's account of reactions to catastrophe helpful to the individual and perhaps to the intern...

We introduce and analyze “multistage situations”, which generalize “multistage games” (which, in turn, generalize “repeated games”). One reason for this generalization is to avoid the perhaps unrealistic constraint inherent to noncooperative games that the set of strategy tuples must be a Cartesian product of the strategy sets of the players. Another reason is that in most economic and social a...

The beliefs of the agents in a multi-agent system have been formally modelled in the last decades using doxastic logics. The possible worlds model and its associated Kripke semantics provide an intuitive semantics for these logics, but they commit us to model agents that are logically omniscient. We propose a way of avoiding this problem, using a new kind of entities called subjective situation...